Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code

by: Dawson R Engler, David Y Chen, Andy Chou

(2001), pp. 57-72.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Notes for this article

srccheck has 1 private note and 0 public notes for this article. If you are srccheck then you can log in to see the private note.

Find related articles from these CiteULike users

gameweld, ronnix, srccheck, bdanilov

Find related articles with these CiteULike tags

code-analysis, defect, defects, defect_search, inconsistent_code, invariant, mc, sosp01, static, to_close, tools

Abstract

A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demonstrates techniques that automatically extract such checking information from the source code itself, rather than the programmer, thereby avoiding the need for a priori knowledge of system rules. The cornerstone of our approach is inferring programmer "beliefs" that we then cross-check for...

@inproceedings{citeulike:869846, abstract = {A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demonstrates techniques that automatically extract such checking information from the source code itself, rather than the programmer, thereby avoiding the need for a priori knowledge of system rules. The cornerstone of our approach is inferring programmer \"beliefs\" that we then cross-check for...}, author = {Engler, Dawson R. and Chen, David Y. and Chou, Andy }, booktitle = {Symposium on Operating Systems Principles}, citeulike-article-id = {869846}, keywords = {defect\_search, defects, inconsistent\_code, mc, sosp01, to\_close, tools}, pages = {57--72}, posted-at = {2008-02-06 09:27:57}, priority = {0}, title = {Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code}, url = {http://citeseer.ist.psu.edu/engler01bugs.html}, year = {2001} }

RIS record

TY - CONF ID - citeulike:869846 L3 - citeulike-article-id:869846 N2 - A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demonstrates techniques that automatically extract such checking information from the source code itself, rather than the programmer, thereby avoiding the need for a priori knowledge of system rules. The cornerstone of our approach is inferring programmer "beliefs" that we then cross-check for... EP - 72 TI - Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code T2 - Symposium on Operating Systems Principles SP - 57 KW - defect_search KW - defects KW - inconsistent_code KW - mc KW - sosp01 KW - to_close KW - tools AU - Engler, Dawson AU - Chen, David AU - Chou, Andy PY - 2001/// UR - http://citeseer.ist.psu.edu/engler01bugs.html ER -

RIS BibTeX