Title: Learning Test-Driven Development: A Polyglot Guide to Writing Uncluttered Code, Author: Saleem Siddiqui
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
Title: Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution, Author: Panagiotis Leloudas
Title: Hands-On Selenium WebDriver with Java: A Deep Dive into the Development of End-to-End Tests, Author: Boni Garcia
Title: Kanban: Successful Evolutionary Change for your Technology Business: Successful Evolutionary Change for your Technology Business, Author: David J Anderson
Title: Software Testing: An Istqb-BCS Certified Tester Foundation Level Guide (Ctfl V4.0) - Fifth Edition, Author: Geoff Thompson
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
Title: System Software Reliability, Author: Hoang Pham
Title: The ASQ Certified Software Quality Engineer Handbook, Author: Linda Vogelsong Westfall
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
Title: Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers, Author: Dave Penkler
Title: Software Verification And Validation, Author: Steven R. Rakitin
Title: Testing R Code, Author: Richard Cotton
Explore Series
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, Author: Shmuel Ur
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Memory Dump Analysis Anthology Collector's Revised Edition, Volume 1, Author: Dmitry Vostokov
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
Title: Debugging Embedded Microprocessor Systems, Author: Stuart Ball

Pagination Links