Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Author: Patrice Godefroid
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: René Alt
Title: A Practical Approach to Software Quality, Author: Gerard O'Regan
Title: Test Examples for Nonlinear Programming Codes, Author: W. Hock
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
Title: Strategic Software Quality Management: How to Incorporate Sustainable Continuous Improvement Practices, Author: Mahsa Fidanboy
Title: The Testability of Distributed Real-Time Systems, Author: Werner Schütz
Title: Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings, Author: Miroslaw Malek
Title: Test Automation: A Manager's Guide, Author: Boby Jose
Title: Verification and Validation of Real-Time Software, Author: William J. Quirk
Title: Agile Testing: How to Succeed in an Extreme Testing Environment, Author: John Watkins
Title: A Guide to Software Quality Engineering, Author: Shravan Pargaonkar
Title: Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings, Author: Hubertus B. Keller
Title: Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings, Author: Takashi Nanya
Title: Advanced Software Testing - Vol. 1, 2nd Edition: Guide to the ISTQB Advanced Certification as an Advanced Test Analyst, Author: Rex Black
Title: iOS and macOS Performance Tuning: Cocoa, Cocoa Touch, Objective-C, and Swift, Author: Marcel Weiher
Title: Fit for Developing Software: Framework for Integrated Tests, Author: Rick Mugridge
Title: Model-Based Software Testing and Analysis with C#, Author: Jonathan Jacky
Title: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Author: Matti Jarvisalo
Title: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill

Pagination Links