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