Software testing & verification books

Presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems...  Read More >>

In addition, many of today’s products and services are presently being deployed in a highly competitive environment...  Read More >>

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical...  Read More >>

Fallible estimates: In software development, initial estimates for a project shape the trajectory of decisions that...  Read More >>

Designed as a wide-ranging guide to Domain-Specific Languages (DSLs) and how to approach building them, this book...  Read More >>

This practical guide provides insight into software testing, explaining the basics of the testing process and how...  Read More >>

For JavaScript developers working on increasingly large and complex projects, effective automated testing is crucial...  Read More >>

The groundbreaking book Design Driven Testing brings sanity back...  Read More >>

Observation Exercises in Astronomy is a lab manual containing a series of astronomy exercises that integrates technology...  Read More >>

The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide...  Read More >>

Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments,...  Read More >>

Knowing the features of the C++ language does not mean you can design a good object-oriented system, nor does knowing...  Read More >>

* Includes several case studies analyzing strengths and weaknesses in the design of some of the software measures...  Read More >>

As an agile coach, you can help project teams become outstanding at agile, creating products that make them proud...  Read More >>

 Read More >>

Mario Hewardt's Advanced .NET Debugging is an excellent resource for both beginner and experienced developers working...  Read More >>

<>Praise for Software Test Engineering with IBM Rational Functional Tester   “Finally, a manual for the Software...  Read More >>

This revised, edited, cross-referenced and thematically organized volume contains selected DumpAnalysis.org blog...  Read More >>

The third issue of Debugged! MZ/PE magazine is dedicated to software tracing, discussing how to take a unified...  Read More >>

 Read More >>

How to Find and Fix the Killer Software Bugs that Evade Conventional Testing   In Exploratory Software Testing,...  Read More >>

Covering testing fundamentals, reviews, testing and risk, test management and test analysis, this book helps newly...  Read More >>

 Read More >>

With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS...  Read More >>

This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN...  Read More >>