%0 Conference Paper %1 Deng:2013:ECD %A Deng, Dongdong %A Zhang, Wei %A Lu, Shan %B Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications %D 2013 %I ACM %K MultiThreading bugs concurrency detection software testing %P 785--802 %R 10.1145/2509136.2509539 %T Efficient Concurrency-bug Detection Across Inputs %@ 978-1-4503-2374-1

@inproceedings{Deng:2013:ECD, acmid = {2509539}, added-at = {2017-02-08T17:59:01.000+0100}, author = {Deng, Dongdong and Zhang, Wei and Lu, Shan}, biburl = {https://www.bibsonomy.org/bibtex/247d84bd5395323414b1f9df9de44b358/gron}, booktitle = {{Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications}}, doi = {10.1145/2509136.2509539}, interhash = {a1f2bae5457b010e8db5edc286455a77}, intrahash = {47d84bd5395323414b1f9df9de44b358}, isbn = {978-1-4503-2374-1}, keywords = {MultiThreading bugs concurrency detection software testing}, location = {Indianapolis, Indiana, USA}, numpages = {18}, pages = {785--802}, publisher = {ACM}, series = {OOPSLA '13}, timestamp = {2017-02-08T17:59:19.000+0100}, title = {Efficient Concurrency-bug Detection Across Inputs}, year = 2013 }