Partial-order reduction for context-bounded state exploration (2007)

by M Musuvathi, S Qadeer