Extending typestate checking using conditional liveness analysis (0)

by R E Strom, D M Yellin
Venue:IEEE Trans. on Software Engineering