Books

Why Programs Fail (Enhanced Edition) Why Programs Fail (Enhanced Edition)
2009
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
2011