Bounded partial-order reduction.

Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley

Browse the full OOPSLA paper archive.