Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
Title: Verification and Validation for Quality of UML 2.0 Models / Edition 1, Author: Bhuvan Unhelkar
Title: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice / Edition 1, Author: Anca Vermesan
Title: Using Aspect-Oriented Programming for Trustworthy Software Development / Edition 1, Author: Vladimir O. Safonov
Title: Trust in Technology: A Socio-Technical Perspective / Edition 1, Author: Karen Clarke
Title: The Testing Network: An Integral Approach to Test Activities in Large Software Projects / Edition 1, Author: Jean-Jacques Pierre Henry
Title: The Testability of Distributed Real-Time Systems / Edition 1, Author: Werner Schütz
Title: The Debugger's Handbook, Author: J.F. DiMarzio
Title: The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500T / Edition 1, Author: Francisco da Silva
Title: Testing Static Random Access Memories: Defects, Fault Models and Test Patterns / Edition 1, Author: Said Hamdioui
Title: Testing R Code / Edition 1, Author: Richard Cotton
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
Title: Testing And Quality Assurance For Component-Based Software, Author: Jerry Gao
Title: Temporal Verification of Reactive Systems: Safety / Edition 1, Author: Zohar Manna
Title: Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1, Author: B. Berard
Title: Systematic Software Testing, Author: Rick D. Craig
Title: System-level Test and Validation of Hardware/Software Systems / Edition 1, Author: Matteo Sonza Reorda
Title: System Software Reliability / Edition 1, Author: Hoang Pham
Title: Successful Test Management: An Integral Approach / Edition 1, Author: Iris Pinkster
Title: Successful Evolution of Software Systems, Author: Hongji Yang

Pagination Links