Bounded partial-order reduction (2013)

by K E Coons, M Musuvathi, K S McKinley
Venue:In Proceedings of the 2013 Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications