From Uncertainty to Belief: Inferring the Specification Within

Abstract

Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework based on factor graphs for automatically inferring specifications directly from programs. The key strength of the approach is that it can incorporate many… (More)

Topics

13 Figures and Tables

Statistics

01020'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

140 Citations

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

See our FAQ for additional information.

Cite this paper

@inproceedings{Kremenek2006FromUT, title={From Uncertainty to Belief: Inferring the Specification Within}, author={Ted Kremenek and Paul Twohey and Godmar Back and Andrew Y. Ng and Dawson R. Engler}, booktitle={OSDI}, year={2006} }