Title: Model-Based Software Testing and Analysis with C# / Edition 1, Author: Jonathan Jacky
Title: If I Only Changed the Software, Why is the Phone on Fire?: Embedded Debugging Methods Revealed: Technical Mysteries for Engineers, Author: Lisa K. Simone
Title: Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional / Edition 1, Author: Rex Black
Title: Service Availability: 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings / Edition 1, Author: Miroslaw Malek
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
Title: Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Author: Martín Abadi
Title: Successful Test Management: An Integral Approach / Edition 1, Author: Iris Pinkster
Title: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem / Edition 1, Author: Patrice Godefroid
Title: Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / Edition 1, Author: Susanne Graf
Title: Software Reliability Modelling and Identification / Edition 1, Author: Sergio Bittanti
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
Title: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / Edition 1, Author: Tullio Vardanega
Title: Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers / Edition 1, Author: Miroslaw Malek
Title: Software Process Improvement: Metrics, Measurement, and Process Modelling: Software Best Practice 4 / Edition 1, Author: Michael Haug
Title: NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings / Edition 1, Author: Mihaela Bobaru
Title: Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction / Edition 1, Author: Markus Mïller-Olm
Title: Component-Based Software Testing with UML / Edition 1, Author: Hans-Gerhard Gross
Title: Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 / Edition 1, Author: John Hatcliff
Title: Testing Object-Oriented Software: Life Cycle Solutions / Edition 1, Author: Imran Bashir
Title: Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers / Edition 1, Author: Martin Leucker

Pagination Links