Access Restriction

Author Geller, Matthew
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Inductive assertions ♦ Symbolic evaluation ♦ Program testing ♦ Program verification ♦ Recursive programs
Abstract Proofs of program correctness tend to be long and tedious, whereas testing, though useful in detecting errors, usually does not guarantee correctness. This paper introduces a technique whereby test data can be used in proving program correctness. In addition to simplifying the process of providing correctness, this method simplifies the process of providing accurate specification for a program. The applicability of this technique to procedures and recursive programs is demonstrated.
Description Affiliation: The Univ. of Michigan, Ann Arbor, MI (Geller, Matthew)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 21
Issue Number 5
Page Count 8
Starting Page 368
Ending Page 375

Open content in new tab

   Open content in new tab
Source: ACM Digital Library