Title: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Author: Thomas Ball
Title: Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, Author: Rajeev Alur
Title: A Guide to Selecting Software Measures and Metrics, Author: Capers Jones
Title: Black-Box Testing: Techniques for Functional Testing of Software and Systems, Author: Boris Beizer
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
Title: Memory Dump Analysis Anthology, Volume 8b, Author: Dmitry Vostokov
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
Title: Requirements Engineering: Foundation for Software Quality: 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, Author: Pete Sawyer
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: The Renaissance of Legacy Systems: Method Support for Software-System Evolution, Author: Ian Warren
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, Author: Miroslaw Malek
Title: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings, Author: David Kaeli
Title: Following TMMi practices to produce Quality software products: TMMi practices can benefit in software testing projects for incremental process improvement, Author: Shanthi Kumar Vemulapalli
Title: Intelligent Crowdsourced Testing, Author: Qing Wang
Title: Debug It!: Find, Repair, and Prevent Bugs in Your Code, Author: Paul Butcher
Title: The Debugging Handbook, Author: Johannes Kuhlmann Pre-Order Now
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
Title: Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings, Author: Dragan Bosnacki
Title: Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, Author: Felix Redmill
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky

Pagination Links