Vector-clock based partial order reduction for JPF. - Eric Noonan; Eric Mercer; Neha Rungta (ACM SIGSOFT Softw. Eng. Notes, 2014)