Automatic test data generation from formal specification using genetic algorithms and case based reasoning. - Mohamed Ahmed Said Salama (2003)