Martin D. Davis

• A formal notion of program-based test data adequacy