Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang. Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. In Corina S. Pasareanu, editor, Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Volume 5578 of Lecture Notes in Computer Science, pages 279-295, Springer, 2009. [doi]
@inproceedings{YangCGW09,
title = {Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis},
author = {Yu Yang and Xiaofang Chen and Ganesh Gopalakrishnan and Chao Wang},
year = {2009},
doi = {10.1007/978-3-642-02652-2_22},
url = {http://dx.doi.org/10.1007/978-3-642-02652-2_22},
tags = {program analysis, discovery, analysis},
researchr = {https://researchr.org/publication/YangCGW09},
cites = {0},
citedby = {0},
pages = {279-295},
booktitle = {Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings},
editor = {Corina S. Pasareanu},
volume = {5578},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02651-5},
}