Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold. Testing concurrent programs to achieve high synchronization coverage. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 210-220, ACM, 2012. [doi]
Abstract is missing.