Title: Automatic software test data generation from z specifications using evolutionary algorithms
First published: 1998