Automated test-data generation for exception conditions.

Nigel Tracey John A. Clark Keith Mander John A. McDermid Automated test-data generation for exception conditions. 61-79 2000 30 Softw., Pract. Exper. 1 db/journals/spe/spe30.html#TraceyCMM00