Bounded partial-order reduction (2013)

by Katherine E. Coons, Madanlal Musuvathi, Kathryn S. Mckinley
Venue:In Proceedings of the 2013 Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications