Typestate-like analysis of multiple interacting objects (2008)

by N A Naeem, O Lhotak
Venue:In OOPSLA