The automatic generation of software test data from z specifications (1995)

by X Yang