Array Shadow State Compression for Precise Dynamic Race Detection (T).

Autor: Wilcox, James R., Finch, Parker, Flanagan, Cormac, Freund, Stephen N.

Publikováno v: 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE); 2015, p155-165, 11p