Data-driven precondition inference with learned features

@inproceedings{Padhi2016DatadrivenPI,
  title={Data-driven precondition inference with learned features},
  author={Saswat Padhi and Rahul Sharma and Todd D. Millstein},
  booktitle={PLDI},
  year={2016}
}
We extend the data-driven approach to inferring preconditions for code from a set of test executions. Prior work requires a fixed set of features, atomic predicates that define the search space of possible preconditions, to be specified in advance. In contrast, we introduce a technique for on-demand feature learning, which automatically expands the search space of candidate preconditions in a targeted manner as necessary. We have instantiated our approach in a tool called PIE. In addition to… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS
23 Citations
7 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…