Filter

Computer Software, Testing

179 books found

Mutation testing for the new century
Mutation testing for the new century

by W. Eric Wong

2001 2 ed.
Formal methods and testing
Formal methods and testing

by Robert M. Hierons, J. P. Bowen

2008 2 ed.
Formal approaches to software testing
Formal approaches to software testing

by Carsten Weise

2006 2 ed.
Model-driven testing
Model-driven testing

by Paul Baker

2007 2 ed.
Computer aided verification
Computer aided verification

by Rajeev Alur, Doron A. Peled

2004 2 ed.
Testframe An Approach To Structured Testing
Testframe An Approach To Structured Testing

by Chris C. Schotanus

2009 1 ed.
Leveraging the wisdom of the crowd in software testing
Leveraging the wisdom of the crowd in software testing

by Sharma, Mukesh (Software testing engineer)

2015 1 ed.
Formal Approaches to Software Testing (vol. # 3395)
Formal Approaches to Software Testing (vol. # 3395)

by Jens Grabowski, Brian Nielsen

2005 1 ed.
Continuous testing with Ruby, Rails, and JavaScript
Continuous testing with Ruby, Rails, and JavaScript

by Ben Rady

2011 1 ed.
Pragmatic Unit Testing in Java 8 with JUnit
Pragmatic Unit Testing in Java 8 with JUnit

by Jeff Langr, Andy Hunt

2015 1 ed.
Tests and proofs
Tests and proofs

by TAP 2008 (2008 Prato, Italy)

2008 1 ed.
The spin model checker
The spin model checker

by Gerald J. Holzmann

2004 1 ed.
Proving programs correct
Proving programs correct

by Robert Brockett Anderson

1979 1 ed.
Program validation
Program validation

by Software Sciences Limited.

1976 1 ed.
Pragmatic unit testing in Java with JUnit
Pragmatic unit testing in Java with JUnit

by Andy Hunt

2003 1 ed.
Software Testing
Software Testing

by Bill Hetzel

2008 1 ed.
ITC Guidelines on Computer-Based and Internet-Delivered Testing
ITC Guidelines on Computer-Based and Internet-Delivered Test...

by COYNE/BARTRAM

2006 1 ed.
Essential Testing
Essential Testing

by Greg Fournier

2007 1 ed.
Testing Computer Software, Tester's Edition
Testing Computer Software, Tester's Edition

by Kaner

1 ed.
Testing Extreme Programming
Testing Extreme Programming

by Lisa Crispin

2003 1 ed.