Analyzing interaction orderings with model checking (2004)

by M B Dwyer, O Tkachuk Robby, W Visser
Venue:In ASE’04: Proceedings of the 19th IEEE international Conference on Automated Software Engineering