Automating the Search for ‘Silent’ Software Bugs Suman Jana and his colleagues have developed an automated tool that finds bad error code in the C programming language. Sil…