Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: The ASQ Certified Software Quality Engineer Handbook, Author: Linda Vogelsong Westfall
Title: Manage Software Testing, Author: Peter Farrell-Vinay
Title: Software Testing as a Service, Author: Ashfaque Ahmed
Title: Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings, Author: Thomas Ball
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
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: Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings, Author: David Kaeli
Title: Patterns for Performance and Operability: Building and Testing Enterprise Software, Author: Chris Ford
Title: Testing Object-Oriented Software: Life Cycle Solutions, Author: Imran Bashir
Title: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers, Author: Rocco De Nicola
Title: Rigorous Development of Complex Fault-Tolerant Systems, Author: Michael Butler
Title: Open Verification Methodology Cookbook, Author: Mark Glasser
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Introduction to Software Testing: A Practical Guide to Testing, Design, Automation, and Execution, Author: Panagiotis Leloudas
Title: Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, Author: Stuart Anderson
Title: Software Deployment, Updating, and Patching, Author: Bill Stackpole
Title: Software Error Detection through Testing and Analysis, Author: J. C. Huang
Title: Systematic Software Testing, Author: Rick D. Craig
Title: Problem-solving in High Performance Computing: A Situational Awareness Approach with Linux, Author: Igor Ljubuncic

Pagination Links