Software testing by Gerald D. Everett, Gerald D. Everett, Raymond, Jr. McLeod
Not in Library
Model checking by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Not in Library
Beautiful testing by Tim Riley
Not in Library
Software testing and continuous quality improvement by Lewis, William E.
Not in Library
Principles of model checking by Christel Baier
Not in Library
The economics of software quality by Capers Jones
Not in Library
Explore it! by Elisabeth Hendrickson
Borrow
Pragmatic Software Testing by Rex Black
Preview Only
Systems and Software Verification by Béatrice Bérard
Not in Library
Certifiable Software Applications 3
Jean-Louis Boulanger
Not in Library
Pragmatic Software Testing
Rex Black
Not in Library
Toward zero-defect programming by Allan M. Stavely
Not in Library

Publishing History

This is a chart to show the publishing history of editions of works about this subject. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart.  This graph charts editions published on this subject.
Editions Published
Year of Publication

Related...

Subjects

Computer software, Verification, Computer science, Software engineering, Congresses, Logic design, Computer software, validation, Testing, Artificial intelligence, Computer programs, Integrated circuits, Logics and Meanings of Programs, Data processing, Computer simulation, Computer security, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Validation, Computer networks, security measures, SPIN (Computer file)

Places

Edinburgh <2010>, Málaga <2010>, Patras <2008>

People

None found.

Times

None found.

Prolific Authors

who have written the most books on this subject
Bernhard Steffen, 5 books
Tiziana Margaria, 4 books
Orna Grumberg, 3 books
David Tuffley, 2 books
Ezio Bartocci, 2 books
Rex Black, 2 books
Rolf Drechsler, 2 books
Bhuvan Unhelkar, 2 books
Thomas Ball, 2 books
Marcus S. Fisher, 2 books
Raghunath Nambiar, 2 books
Aristides Dasso, 2 books
Pierpaolo Degano, 2 books
Stephan Merz, 2 books
Jean-Louis Boulanger, 2 books
Luca Aceto, 2 books
Robert Wille, 2 books
Brian J. Taylor, 2 books
Kedar S. Namjoshi, 2 books
Armin Biere, 2 books
Alastair Donaldson, 2 books
Roderick Bloem, 2 books
Béatrice Bérard, 2 books
Manju Nanda, 2 books
Yogananda Jeppu, 2 books