General methods for extending the scope of program testing. - Ayse Ergun (1998)