An algorithm and tool to infer practical postconditions.

John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok

Browse the full ICSE paper archive.