Assertion-Oriented Automated Test Data Generation. - Bogdan Korel; Ali M. Al-Yami (ICSE, 1996)

Automated Regression Test Generation. - Bogdan Korel; Ali M. Al-Yami (ISSTA, 1998)