Automatic generation of random self-checking test cases (1983)

by D Bird, C Munoz
Venue:IBM Systems Journal