Designing Programs to Check Their Work (Abstract).

Manuel Blum

Browse the full ISSTA paper archive.