Extending typestate checking using conditional liveness analysis (1993)

by R Strom, D Yellin
Venue:IEEE Trans. Softw. Eng