Software testing & verification books

 Read More >>

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking...  Read More >>

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal...  Read More >>

Contains revised, edited, cross-referenced, and thematically organized selected articles from Software Diagnostics...  Read More >>

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification,...  Read More >>

It is widely recognised that moving from traditional to agile approaches to build software solutions is a critical...  Read More >>

Offers a framework for controlling, managing, and predicting software development processes. Focusing on real-world...  Read More >>

This revised, cross-referenced, and thematically organized volume of selected DumpAnalysis.org blog posts targets...  Read More >>

Leading software measurement experts share their insight and expertise on topics such as measurement programs, function...  Read More >>

Do you need to get it right, too? Then, learn from Google. Legendary testing expert James Whittaker, until recently...  Read More >>

Software testing remains to be a topic with many open questions with regard to both technical low-level aspects...  Read More >>

Software test automation has moved beyond a luxury to become a necessity. Applications and systems have grown ever...  Read More >>

 Read More >>

Discusses the current state of test automation practices, as it includes chapters related to software test automation...  Read More >>

Contains original academic work about current research and research projects related to all aspects affecting the...  Read More >>

 Read More >>

To build reliable, industry-applicable software products, large-scale software project groups must continuously...  Read More >>

The full transcript of Memory Dump Analysis Services Training with seven step-by-step exercises, notes, source code...  Read More >>

This revised, cross-referenced, and thematically organized volume of selected DumpAnalysis.org blog posts targets...  Read More >>

Contains revised, edited, cross-referenced, and thematically organized DumpAnalysis.org blog posts about memory...  Read More >>

 Read More >>

 Read More >>

 Read More >>

Equips the reader with the rationale for vigorous testing of game software, how game testing and the tester fit...  Read More >>

Gradle is the project automation tool that is taking the Java world by storm. This ebook shows you to us Gradle...  Read More >>