The All Program Functions Criterion for Revealing Computation Errors (Abstract).

Istvn Forgcs

Browse the full ISSTA paper archive.