Extracting counterexamples from transitive-closure-based model checking.

Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day

Browse the full ICSE paper archive.