Bounded partialorder reduction. (2013)

by K E Coons, M Musuvathi, K S McKinley
Venue:In OOPSLA,