Interleaving generation for data race and deadlock reproduction.

Luis M. Carril, Walter F. Tichy

Browse the full OOPSLA paper archive.