Software Testing

The metaphor of software testing as searching for a counterexample to a conjecture is due to [Podgurski92].

MARICK, Brian, 1995. The craft of software testing: subsystem testing including object-based and object-oriented testing. Englewood Cliffs, N.J: PTR Prentice Hall. Prentice Hall series in innovative technology. ISBN 978-0-13-177411-7.

Andy Podgurski. "The Role of Statistical Reliability Assessment". 24th Symposium on the Interface: Statistics and Computing, College Station, Texas, March 1992.