Verifying Software: Testing and Static Analysis Read the article on Electronic Design » Posted on: 11/5/2014