Extracting counterexamples from transitive-closure-based model checking. - Mitchell Kember; Lynn Tran; George Gao; Nancy A. Day (MiSE@ICSE, 2019)