An efficient method for detecting concurrency errors in object-oriented programs

YanXiang He, Wei Wu, Yong Chen
2012 Science China Information Sciences  
doi:10.1007/s11432-012-4751-z fatcat:2zcbgvaflbcvbcanbdrjsqbbbi