Lei, Y. and Carver, R.H. (2006) Reachability Testing of Concurrent Programs. IEEE Transactions on Software Engineering, 32, 382-403. http://dx.doi.org/10.1109/TSE.2006.56
has been cited by the following article:
Related Articles: