%0 Conference Paper %1 conf/ica3pp/WuLW15 %A Wu, Zhendong %A Lu, Kai %A Wang, Xiaoping %B ICA3PP (4) %D 2015 %E Wang, Guojun %E Zomaya, Albert Y. %E Pérez, Gregorio Martínez %E Li, Kenli %I Springer %K %P 175-188 %T Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection. %U http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-4.html#WuLW15 %V 9531 %@ 978-3-319-27139-2

@inproceedings{conf/ica3pp/WuLW15, added-at = {2023-12-12T20:22:25.000+0100}, author = {Wu, Zhendong and Lu, Kai and Wang, Xiaoping}, biburl = {https://www.bibsonomy.org/bibtex/26edd8ac713200c6f6ba168833f4d70e5/admin}, booktitle = {ICA3PP (4)}, crossref = {conf/ica3pp/2015-4}, editor = {Wang, Guojun and Zomaya, Albert Y. and Pérez, Gregorio Martínez and Li, Kenli}, ee = {https://doi.org/10.1007/978-3-319-27140-8_13}, interhash = {2e51b9386ff654dde0ea0ff85f2fba93}, intrahash = {6edd8ac713200c6f6ba168833f4d70e5}, isbn = {978-3-319-27139-2}, keywords = {}, pages = {175-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:22:25.000+0100}, title = {Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection.}, url = {http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-4.html#WuLW15}, volume = 9531, year = 2015 }