Title: Agile Testing: How to Succeed in an Extreme Testing Environment / Edition 1, Author: John Watkins
Title: AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis / Edition 1, Author: William J. Brown
Title: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / Edition 1, Author: Bert Didier
Title: Clean Code: A Handbook of Agile Software Craftsmanship / Edition 1, Author: Robert Martin
Title: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Edition 1, Author: Alan J. Hu
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / Edition 1, Author: Rajeev Alur
Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings / Edition 1, Author: David Kaeli
Title: Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / Edition 1, Author: Udo Voges
Title: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, Author: Rune Winther
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Debugging by Thinking: A Multidisciplinary Approach, Author: Robert Charles Metzger
Title: Designing Maintainable Software / Edition 1, Author: Dennis D. Smith
Title: Exploratory Software Testing: Tips, Tricks, Tours, and Techniques to Guide Test Design / Edition 1, Author: James Whittaker
Title: Fit for Developing Software: Framework for Integrated Tests, Author: Rick Mugridge
Title: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26 / Edition 1, Author: Lubos Brim
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication / Edition 1, Author: Jasveer Singh
Title: Handbook of Usability Testing: How to Plan, Design, and Conduct Effective Tests / Edition 2, Author: Jeffrey Rubin
Title: Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Edition 1, Author: Shmuel Ur
Title: Lessons Learned in Software Testing: A Context-Driven Approach / Edition 1, Author: Cem Kaner

Pagination Links