Richard H. Carver, Yu Lei. Distributed reachability testing of concurrent programs. Concurrency - Practice and Experience, 22(18):2445-2466, 2010. [doi]
@article{CarverL10-1,
title = {Distributed reachability testing of concurrent programs},
author = {Richard H. Carver and Yu Lei},
year = {2010},
doi = {10.1002/cpe.1573},
url = {http://dx.doi.org/10.1002/cpe.1573},
tags = {testing},
researchr = {https://researchr.org/publication/CarverL10-1},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {22},
number = {18},
pages = {2445-2466},
}