Title: Software Quality Assurance: Integrating Testing, Security, and Audit, Author: Abu Sayed Mahfuz
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, Author: Michael Yoeli
Title: Software Performability: From Concepts to Applications, Author: Ann T. Tai
Title: Trust in Technology: A Socio-Technical Perspective, Author: Karen Clarke
Title: Guide to Advanced Software Testing, Author: Anne Mette Jonassen Hass
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever
Title: Designing Maintainable Software, Author: Dennis D. Smith
Title: Software Verification And Validation, Author: Steven R. Rakitin
Title: Systems and Software Verification: Model-Checking Techniques and Tools, Author: B. Berard
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
Title: Verification and Validation for Quality of UML 2.0 Models, Author: Bhuvan Unhelkar
Title: Software Fault Tolerance Techniques And Implementation, Author: Laura L Pullum
Title: Advanced Techniques for Embedded Systems Design and Test, Author: Juan C. López
Title: Six Sigma Software Development, Author: Christine B. Tayntor
Title: Pro Perl Debugging, Author: Andy Lester
Title: Software Quality: Concepts and Practice, Author: Daniel Galin
Title: Cyber-Risk Informatics: Engineering Evaluation with Data Science, Author: Mehmet Sahinoglu
Title: Handbook of Software Quality Assurance, Author: G. Gordon Schulmeyer
Title: Mutation Testing for the New Century, Author: W. Eric Wong

Pagination Links