Analyzing interaction orderings with model checking (2004)

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