Mining specifications

  title={Mining specifications},
  author={Glenn Ammons and Rastislav Bod{\'i}k and James R. Larus},
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally describe correct behavior or errors is a major barrier to the widespread adoption of program verification, since programmers historically have been reluctant to write formal specifications. Automating the process of formulating specifications would remove a barrier to program verification and enhance its practicality… CONTINUE READING
Highly Influential
This paper has highly influenced 36 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 348 citations. REVIEW CITATIONS

15 Figures & Tables



Citations per Year

349 Citations

Semantic Scholar estimates that this publication has 349 citations based on the available data.

See our FAQ for additional information.