{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:01Z","timestamp":1750220581908,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T00:00:00Z","timestamp":1587945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,27]]},"DOI":"10.1145\/3380786.3391401","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T11:20:17Z","timestamp":1588591217000},"page":"37-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated data race bugs addition"],"prefix":"10.1145","author":[{"given":"Hongliang","family":"Liang","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingyue","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianli","family":"Wang","sequence":"additional","affiliation":[{"name":"China Information Technology Security Evaluation Center"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A Survey of Recent Trends in Testing Concurrent Software Systems. <i&gt","author":"Bianchi F. A.","year":"2018","unstructured":"F. A. Bianchi , A. Margara , and M. Pezz è. 2018. A Survey of Recent Trends in Testing Concurrent Software Systems. <i&gt ;IEEE Transactions on Software Engineering <\/i> 44, 8 ( Aug. 2018 ), 747–783. 0098-5589 5. F. A. Bianchi, A. Margara, and M. Pezzè. 2018. A Survey of Recent Trends in Testing Concurrent Software Systems. <i>IEEE Transactions on Software Engineering<\/i> 44, 8 (Aug. 2018), 747–783. 0098-5589 5."},{"key":"e_1_3_2_1_2_1","volume-title":"Jaswinder Pal Singh, and Kai Li","author":"Bienia Christian","year":"2008","unstructured":"Christian Bienia , Sanjeev Kumar , Jaswinder Pal Singh, and Kai Li . 2008 . The PARSEC Benchmark Suite: Characterization and Architectural Implications. In <i>Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques<\/i> <i>(PACT '08)<\/i>. ACM, New York, NY, USA , 72–81. Christian Bienia, Sanjeev Kumar, Jaswinder Pal Singh, and Kai Li. 2008. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In <i>Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques<\/i> <i>(PACT '08)<\/i>. ACM, New York, NY, USA, 72–81."},{"key":"e_1_3_2_1_3_1","volume-title":"ISPDC 2016","author":"Do-Mai Anh-Tu","year":"2016","unstructured":"Anh-Tu Do-Mai , Thanh-Dang Diep , and Nam Thoai . 2016 . Race Condition and Deadlock Detection for Large-Scale Applications. In <i>15th International Symposium on Parallel and Distributed Computing , ISPDC 2016 , Fuzhou, China , July 8-10, 2016<\/i>, Riqing Chen, Chunming Rong, and Dan Grigoras (Eds.). IEEE Computer Society, 319–326. Anh-Tu Do-Mai, Thanh-Dang Diep, and Nam Thoai. 2016. Race Condition and Deadlock Detection for Large-Scale Applications. In <i>15th International Symposium on Parallel and Distributed Computing, ISPDC 2016, Fuzhou, China, July 8-10, 2016<\/i>, Riqing Chen, Chunming Rong, and Dan Grigoras (Eds.). IEEE Computer Society, 319–326."},{"key":"e_1_3_2_1_4_1","volume-title":"LAVA: Large-Scale Automated Vulnerability Addition. In <i>2016 IEEE Symposium on Security and Privacy (SP)<\/i>. 110–121.","author":"Dolan-Gavitt B.","year":"2016","unstructured":"B. Dolan-Gavitt , P. Hulin , E. Kirda , T. Leek , A. Mambretti , W. Robertson , F. Ulrich , and R. Whelan . 2016 . LAVA: Large-Scale Automated Vulnerability Addition. In <i>2016 IEEE Symposium on Security and Privacy (SP)<\/i>. 110–121. B. Dolan-Gavitt, P. Hulin, E. Kirda, T. Leek, A. Mambretti, W. Robertson, F. Ulrich, and R. Whelan. 2016. LAVA: Large-Scale Automated Vulnerability Addition. In <i>2016 IEEE Symposium on Security and Privacy (SP)<\/i>. 110–121."},{"key":"e_1_3_2_1_5_1","unstructured":"E. Farchi Y. Nir and S. Ur. 2003. Concurrent bug patterns and how to test them. In <i>Proceedings International Parallel and Distributed Processing Symposium<\/i>. 7 pp.–.  E. Farchi Y. Nir and S. Ur. 2003. Concurrent bug patterns and how to test them. In <i>Proceedings International Parallel and Distributed Processing Symposium<\/i>. 7 pp.–."},{"key":"e_1_3_2_1_6_1","volume-title":"A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. <i>Software Quality Journal<\/i&gt","author":"Fu Haojie","year":"2017","unstructured":"Haojie Fu , Zan Wang , Xiang Chen , and Xiangyu Fan . 2017. A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. <i>Software Quality Journal<\/i&gt ; 26 ( 2017 ), 855–889. 5. Haojie Fu, Zan Wang, Xiang Chen, and Xiangyu Fan. 2017. A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques. <i>Software Quality Journal<\/i> 26 (2017), 855–889. 5."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196451"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"M. Kusano and Chao Wang. 2013. CCmutator: A mutation generator for concurrency constructs in multithreaded C\/C++ applications. In <i>2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)<\/i>. 722–725. 5.  M. Kusano and Chao Wang. 2013. CCmutator: A mutation generator for concurrency constructs in multithreaded C\/C++ applications. In <i>2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)<\/i>. 722–725. 5.","DOI":"10.1109\/ASE.2013.6693142"},{"volume-title":"Networking, Storage and Analysis<\/i&gt","author":"Liao Chunhua","key":"e_1_3_2_1_9_1","unstructured":"Chunhua Liao , Pei-Hung Lin , Joshua Asplund , Markus Schordan , and Ian Karlin . 2017. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. In <i>Proceedings of the International Conference for High Performance Computing , Networking, Storage and Analysis<\/i&gt ; <i>(SC '17)<\/i>. ACM , New York, NY, USA , 11:1–11:14. Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, and Ian Karlin. 2017. DataRaceBench: A Benchmark Suite for Systematic Evaluation of Data Race Detection Tools. In <i>Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis<\/i> <i>(SC '17)<\/i>. ACM, New York, NY, USA, 11:1–11:14."},{"key":"e_1_3_2_1_10_1","volume-title":"ASE 2015","author":"Lin Ziyi","year":"2015","unstructured":"Ziyi Lin , Darko Marinov , Hao Zhong , Yuting Chen , and Jianjun Zhao . 2015 . JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). In <i>30th IEEE\/ACM International Conference on Automated Software Engineering , ASE 2015 , Lincoln, NE, USA , November 9-13, 2015<\/i>, Myra B. Cohen, Lars Grunske, and Michael Whalen (Eds.). IEEE Computer Society, 178–189. Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen, and Jianjun Zhao. 2015. JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T). In <i>30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015<\/i>, Myra B. Cohen, Lars Grunske, and Michael Whalen (Eds.). IEEE Computer Society, 178–189."},{"key":"e_1_3_2_1_11_1","volume-title":"D4: Fast Concurrency Debugging with Parallel Differential Analysis. In <i>Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation<\/i&gt","author":"Liu Bozhen","year":"2018","unstructured":"Bozhen Liu and Jeff Huang . 2018. D4: Fast Concurrency Debugging with Parallel Differential Analysis. In <i>Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation<\/i&gt ; <i>(PLDI 2018 )<\/i>. ACM , New York, NY, USA , 359–373. Bozhen Liu and Jeff Huang. 2018. D4: Fast Concurrency Debugging with Parallel Differential Analysis. In <i>Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation<\/i> <i>(PLDI 2018)<\/i>. ACM, New York, NY, USA, 359–373."},{"key":"e_1_3_2_1_12_1","volume-title":"Sheridan Jacob Powell, and Jay McCarthy","author":"Nakade Radha","year":"2019","unstructured":"Radha Nakade , Eric Mercer , Peter Aldous , Kyle Storey , Benjamin Ogles , Joshua Hooker , Sheridan Jacob Powell, and Jay McCarthy . 2019 . Model-checking task-parallel programs for data-race. <i>ISSE<\/i> 15, 3-4 (2019), 289–306. Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, and Jay McCarthy. 2019. Model-checking task-parallel programs for data-race. <i>ISSE<\/i> 15, 3-4 (2019), 289–306."},{"volume-title":"BugBox: A Vulnerability Corpus for PHP Web Applications. In <i>6th Workshop on Cyber Security Experimentation and Test (CSET 13)<\/i>","author":"Nilson Gary","key":"e_1_3_2_1_13_1","unstructured":"Gary Nilson , Kent Wills , Jeffrey Stuckman , and James Purtilo . 2013. BugBox: A Vulnerability Corpus for PHP Web Applications. In <i>6th Workshop on Cyber Security Experimentation and Test (CSET 13)<\/i> . USENIX Association , Washington, D.C. Gary Nilson, Kent Wills, Jeffrey Stuckman, and James Purtilo. 2013. BugBox: A Vulnerability Corpus for PHP Web Applications. In <i>6th Workshop on Cyber Security Experimentation and Test (CSET 13)<\/i>. USENIX Association, Washington, D.C."},{"key":"e_1_3_2_1_14_1","unstructured":"NIST-project. 2017. <i>Software Assurance Reference Dataset Project<\/i>.  NIST-project. 2017. <i>Software Assurance Reference Dataset Project<\/i>."},{"key":"e_1_3_2_1_15_1","unstructured":"Oracle. 2014. <i>Doucumentation of thread analyzer<\/i>.  Oracle. 2014. <i>Doucumentation of thread analyzer<\/i>."},{"volume-title":"EvilCoder: Automated Bug Insertion. In <i>Proceedings of the 32Nd Annual Conference on Computer Security Applications<\/i&gt","author":"Pewny Jannik","key":"e_1_3_2_1_16_1","unstructured":"Jannik Pewny and Thorsten Holz . 2016. EvilCoder: Automated Bug Insertion. In <i>Proceedings of the 32Nd Annual Conference on Computer Security Applications<\/i&gt ; <i>(ACSAC '16)<\/i>. ACM , New York, NY, USA , 214–225. Jannik Pewny and Thorsten Holz. 2016. EvilCoder: Automated Bug Insertion. In <i>Proceedings of the 32Nd Annual Conference on Computer Security Applications<\/i> <i>(ACSAC '16)<\/i>. ACM, New York, NY, USA, 214–225."},{"key":"e_1_3_2_1_17_1","unstructured":"Valgrind. 2019. <i>Helgrind: a data-race detector<\/i>.  Valgrind. 2019. <i>Helgrind: a data-race detector<\/i>."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Jan Wen Voung Ranjit Jhala and Sorin Lerner. 2007. RELAY: Static Race Detection on Millions of Lines of Code. In <i>Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering<\/i> <i>(ESEC-FSE '07)<\/i>. ACM New York NY USA 205–214.  Jan Wen Voung Ranjit Jhala and Sorin Lerner. 2007. RELAY: Static Race Detection on Millions of Lines of Code. In <i>Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering<\/i> <i>(ESEC-FSE '07)<\/i>. ACM New York NY USA 205–214.","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_19_1","volume-title":"Jaswinder Pal Singh, and Anoop Gupta","author":"Woo Steven Cameron","year":"1995","unstructured":"Steven Cameron Woo , Moriyoshi Ohara , Evan Torrie , Jaswinder Pal Singh, and Anoop Gupta . 1995 . The SPLASH-2 Programs : Characterization and Methodological Considerations. In <i>Proceedings of the 22Nd Annual International Symposium on Computer Architecture<\/i> <i>(ISCA '95)<\/i>. ACM, New York, NY, USA , 24–36. Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, and Anoop Gupta. 1995. The SPLASH-2 Programs: Characterization and Methodological Considerations. In <i>Proceedings of the 22Nd Annual International Symposium on Computer Architecture<\/i> <i>(ISCA '95)<\/i>. ACM, New York, NY, USA, 24–36."},{"key":"#cr-split#-e_1_3_2_1_20_1.1","doi-asserted-by":"crossref","unstructured":"J. Yang B. Jiang and W. K. Chan. 2018. HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. <i>IEEE Transactions on Reliability<\/i&gt","DOI":"10.1109\/TR.2018.2832226"},{"key":"#cr-split#-e_1_3_2_1_20_1.2","doi-asserted-by":"crossref","unstructured":"67 3 (Sept. 2018) 786–801. 0018-9529 J. Yang B. Jiang and W. K. Chan. 2018. HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. <i>IEEE Transactions on Reliability<\/i&gt","DOI":"10.1109\/TR.2018.2832226"},{"key":"#cr-split#-e_1_3_2_1_20_1.3","unstructured":"67 3 (Sept. 2018) 786–801. 0018-9529"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Z. Yang Z. Yu X. Su and P. Ma. 2016. RaceTracker: Effective and efficient detection of data races. In <i>2016 17th IEEE\/ACIS International Conference on Software Engineering Artificial Intelligence Networking and Parallel\/Distributed Computing (SNPD)<\/i>. 293–300.  Z. Yang Z. Yu X. Su and P. Ma. 2016. RaceTracker: Effective and efficient detection of data races. In <i>2016 17th IEEE\/ACIS International Conference on Software Engineering Artificial Intelligence Networking and Parallel\/Distributed Computing (SNPD)<\/i>. 293–300.","DOI":"10.1109\/SNPD.2016.7515908"},{"key":"e_1_3_2_1_22_1","volume-title":"Maple: A Coverage-driven Testing Tool for Multithreaded Programs. In <i>Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications<\/i&gt","author":"Yu Jie","year":"2012","unstructured":"Jie Yu , Satish Narayanasamy , Cristiano Pereira , and Gilles Pokam . 2012 . Maple: A Coverage-driven Testing Tool for Multithreaded Programs. In <i>Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications<\/i&gt ; <i>(OOPSLA '12)<\/i>. ACM , New York, NY, USA , 485–502. Jie Yu, Satish Narayanasamy, Cristiano Pereira, and Gilles Pokam. 2012. Maple: A Coverage-driven Testing Tool for Multithreaded Programs. In <i>Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications<\/i> <i>(OOPSLA '12)<\/i>. ACM, New York, NY, USA, 485–502."},{"key":"e_1_3_2_1_23_1","volume-title":"Fast and Accurate Hybrid Data Race Detection. <i>Comput. J.<\/i&gt","author":"Yu Misun","year":"2016","unstructured":"Misun Yu and Doo-Hwan Bae . 2016. SimpleLock+ : Fast and Accurate Hybrid Data Race Detection. <i>Comput. J.<\/i&gt ; 59, 6 ( June 2016 ), 793–809. 0010-4620 Misun Yu and Doo-Hwan Bae. 2016. SimpleLock+: Fast and Accurate Hybrid Data Race Detection. <i>Comput. J.<\/i> 59, 6 (June 2016), 793–809. 0010-4620"},{"key":"e_1_3_2_1_24_1","volume-title":"DSN 2018","author":"Zhao Shixiong","year":"2018","unstructured":"Shixiong Zhao , Rui Gu , Haoran Qiu , Tsz On Li , Yuexuan Wang , Heming Cui , and Junfeng Yang . 2018 . OWL: Understanding and Detecting Concurrency Attacks. In <i>48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks , DSN 2018 , Luxembourg City, Luxembourg , June 25-28, 2018<\/i>. IEEE Computer Society, 219–230. Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, and Junfeng Yang. 2018. OWL: Understanding and Detecting Concurrency Attacks. In <i>48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018<\/i>. IEEE Computer Society, 219–230."}],"event":{"name":"EuroSys '20: Fifteenth EuroSys Conference 2020","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Heraklion Greece","acronym":"EuroSys '20"},"container-title":["Proceedings of the 13th European workshop on Systems Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380786.3391401","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380786.3391401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380786.3391401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,27]]},"references-count":26,"alternative-id":["10.1145\/3380786.3391401","10.1145\/3380786"],"URL":"https:\/\/doi.org\/10.1145\/3380786.3391401","relation":{},"subject":[],"published":{"date-parts":[[2020,4,27]]},"assertion":[{"value":"2020-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}