Efficient hybrid typestate analysis by determining continuation-equivalent states.

Eric Bodden

Browse the full ICSE paper archive.