Secure Software Testing & Construction