Poster: An Algorithm and Tool to Infer Practical Postconditions

  title={Poster: An Algorithm and Tool to Infer Practical Postconditions},
  author={John L. Singleton and Gary T. Leavens and Hridesh Rajan and David R. Cok},
  journal={2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)},
Manually writing pre- and postconditions to document the behavior of a large library is a time-consuming task; what is needed is a way to automatically infer them. Conventional wisdom is that, if one has preconditions, then one can use the strongest postcondition predicate transformer (SP) to infer postconditions. However, we have performed a study using 2,300 methods in 7 popular Java libraries, and found that SP yields postconditions that are exponentially large, which makes them difficult to… CONTINUE READING


Publications citing this paper.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria, Bernhard Steffen, +4 authors Bernhard Steffen Eds
Lecture Notes in Computer Science • 2018
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…