Automatic software test data generation from Z specifications using evolutionary algorithms. - Xile Yang (1999)