From Uncertainty to Belief: Inferring the Specification Within


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)


13 Figures and Tables


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} }