Treffer: Generalized algorithmic debugging and testing

Title:
Generalized algorithmic debugging and testing
Source:
ACM Letters on Programming Languages and Systems (LOPLAS). 1(4):303-322
Database:
ACM Full-Text Collection