@dblp

Vector-clock based partial order reduction for JPF.

, , and . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)

Links and resources

Tags