Title: Testing Computer Software, Author: Cem Kaner
Title: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings, Author: Dennis Dams
Title: Property-Based Testing with PropEr, Erlang, and Elixir: Find Bugs Before Your Users Do, Author: Fred Hebert
Title: Embedded Processor-Based Self-Test, Author: Dimitris Gizopoulos
Title: Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers, Author: Mingshu Li
Title: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Author: Renï Alt
Title: Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000, Author: Felix Redmill
Title: Practical Elements of Safety: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004, Author: Felix Redmill
Title: Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991, Author: Tim Denvir
Title: Debug It!: Find, Repair, and Prevent Bugs in Your Code, Author: Paul Butcher
Title: Quality of Software Architectures: Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers, Author: Christine Hofmeister
Title: Successful Test Management: An Integral Approach, Author: Iris Pinkster
Title: Functional Software Size Measurement Methodology with Effort Estimation and Performance Indication, Author: Jasveer Singh

Pagination Links