Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
Title: Test Automation: A Manager's Guide, Author: Boby Jose
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional, Author: Rex Black
Title: Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs, Author: Adam Tornhill
Title: Kanban: Successful Evolutionary Change for your Technology Business: Successful Evolutionary Change for your Technology Business, Author: David J Anderson
Title: Software Testing: A Self-Teaching Introduction, Author: Rajiv Chopra
Title: Advanced Software Testing - Vol. 1, 2nd Edition: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst, Author: Rex Black
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Author: Markus Müller-Olm
Title: Software Failure Risk: Measurement and Management, Author: Susan A. Sherer
Title: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, Author: Warren A. Hunt
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, Author: Karen Yorav
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4, Author: Michael Haug
Title: Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, Author: Klaus Havelund
Title: Software Process Improvement: 11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings, Author: T. Dingsøyr
Title: Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, Author: Fabrice Kordon
Title: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings, Author: Matthew Dwyer
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller

Pagination Links