Why Programs Fail Why Programs Fail
2009
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
2011