Efficient hybrid typestate analysis by determining continuation-equivalent states
Eric Bodden · 2010
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have proposed a hybrid approach that uses residual monitors to signal property violations at runtime.