Efficient hybrid typestate analysis by determining continuationequivalent states (2003)

by Eric Bodden
Venue:In Proc. International Conference on Software Engineering