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… CONTINUE READING

13 Figures & Tables

Topics

Statistics

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

156 Citations

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

See our FAQ for additional information.