author: glenford j myers

The classic, landmark work on software testing The hardware and software of computing have changed markedly in the three decades since the first edition of The Art of Software Testing, but this book's powerful underlying analysis has stood ...

Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models.

This book covers all the essential topics for those students, but also provides all the detail and precision that working programmers might need during the testing phase.