Probabilistic, modular and scalable inference of typestate specifications.

Nels E. Beckman, Aditya V. Nori

Browse the full PLDI paper archive.