W. Eric Wong Yu Lei Reachability Graph-Based Test Sequence Generation for Concurrent Programs. 803-822 2008 18 International Journal of Software Engineering and Knowledge Engineering 6 http://dx.doi.org/10.1142/S0218194008003878 db/journals/ijseke/ijseke18.html#WongL08