{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:32:53Z","timestamp":1772119973574,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"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":[[2013,7,15]]},"DOI":"10.1145\/2483760.2483771","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"167-177","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["SimRacer: an automated framework to support testing for process-level races"],"prefix":"10.1145","author":[{"given":"Tingting","family":"Yu","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Witawas","family":"Srisa-an","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Gregg","family":"Rothermel","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Android Race 2010. https:\/\/android.googlesource.com\/platform\/frameworks- \/base\/+\/e6b1bbd8acca3f6e174c24cf4eb23a66db2d08a2. Android Race 2010. https:\/\/android.googlesource.com\/platform\/frameworks- \/base\/+\/e6b1bbd8acca3f6e174c24cf4eb23a66db2d08a2."},{"key":"e_1_3_2_1_2_1","unstructured":"Apache Deadlock 2003. http:\/\/marc.info\/?l=apache-httpdbugs&m=105967988713871. Apache Deadlock 2003. http:\/\/marc.info\/?l=apache-httpdbugs&m=105967988713871."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_1_4_1","unstructured":"2004. https:\/\/bugs.launchpad.net\/debian\/+source\/bash \/+bug\/10809\/comments\/0. 2004. https:\/\/bugs.launchpad.net\/debian\/+source\/bash \/+bug\/10809\/comments\/0."},{"key":"e_1_3_2_1_5_1","unstructured":"2008. http:\/\/ftp.gnu.org\/gnu\/bash\/bash-3.2-patches\/ bash32-051. 2008. http:\/\/ftp.gnu.org\/gnu\/bash\/bash-3.2-patches\/ bash32-051."},{"key":"e_1_3_2_1_6_1","unstructured":"2011. http:\/\/ftp.gnu.org\/gnu\/bash\/bash-4.2-patches\/ bash42-023. 2011. http:\/\/ftp.gnu.org\/gnu\/bash\/bash-4.2-patches\/ bash42-023."},{"key":"e_1_3_2_1_7_1","unstructured":"2011. http:\/\/www.mail-archive.com\/debian-bugsdist@lists.debian.org\/msg918886.html. 2011. http:\/\/www.mail-archive.com\/debian-bugsdist@lists.debian.org\/msg918886.html."},{"key":"e_1_3_2_1_8_1","unstructured":"2000. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=67782. 2000. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=67782."},{"key":"e_1_3_2_1_9_1","unstructured":"2011. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=461585. 2011. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=461585."},{"key":"e_1_3_2_1_10_1","unstructured":"2010. https:\/\/rhn.redhat.com\/errata\/RHBA-2010-0174.html. 2010. https:\/\/rhn.redhat.com\/errata\/RHBA-2010-0174.html."},{"key":"e_1_3_2_1_11_1","unstructured":"2008. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=438076. 2008. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=438076."},{"key":"e_1_3_2_1_12_1","unstructured":"2004. http:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2004- 04\/msg00126.html. 2004. http:\/\/lists.gnu.org\/archive\/html\/bug-coreutils\/2004- 04\/msg00126.html."},{"key":"e_1_3_2_1_13_1","unstructured":"2001. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=54127. 2001. https:\/\/bugzilla.redhat.com\/show_bug.cgi?id=54127."},{"key":"e_1_3_2_1_14_1","unstructured":"2006. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=357140. 2006. http:\/\/bugs.debian.org\/cgi-bin\/bugreport.cgi ?bug=357140."},{"key":"e_1_3_2_1_15_1","unstructured":"2005. http:\/\/www.securityfocus.com\/archive\/1\/395489. 2005. http:\/\/www.securityfocus.com\/archive\/1\/395489."},{"key":"e_1_3_2_1_16_1","unstructured":"2007. https:\/\/bugs.launchpad.net\/ubuntu\/+source \/coreutils\/5.97-5.6ubuntu1. 2007. https:\/\/bugs.launchpad.net\/ubuntu\/+source \/coreutils\/5.97-5.6ubuntu1."},{"key":"e_1_3_2_1_17_1","unstructured":"2009. https:\/\/bugs.gentoo.org\/show_bug.cgi?id=231775. 2009. https:\/\/bugs.gentoo.org\/show_bug.cgi?id=231775."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.52"},{"key":"e_1_3_2_1_19_1","volume-title":"Full-System Simulation from Embedded to High-Performance Systems","author":"Engblom J.","year":"2010","unstructured":"J. Engblom , D. Aarno , and B. Werner . Full-System Simulation from Embedded to High-Performance Systems . 2010 . J. Engblom, D. Aarno, and B. Werner. Full-System Simulation from Embedded to High-Performance Systems. 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_21_1","volume-title":"Ubiq. Comp. Multim. Apps.","author":"K.-H.","year":"2011","unstructured":"K.-H. K. Guy Martin Tchamgoue, Ok-Kyoon Ha and Y.-K. Jun. Lightweight labeling scheme for on-the-fly race detection of signal handlers . Ubiq. Comp. Multim. Apps. , 2011 . K.-H. K. Guy Martin Tchamgoue, Ok-Kyoon Ha and Y.-K. Jun. Lightweight labeling scheme for on-the-fly race detection of signal handlers. Ubiq. Comp. Multim. Apps., 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043589"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048072"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_26_1","volume-title":"Conf. Op. Sys. Des. Impl","author":"Musuvathi M.","year":"2008","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and reproducing heisenbugs in concurrent programs . In Conf. Op. Sys. Des. Impl , 2008 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In Conf. Op. Sys. Des. Impl, 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_28_1","unstructured":"Facebook IPO Glitch 2012. http:\/\/www.cio.com.au\/article\/425234\/ nasdaq_facebook_glitch_came_from_race_conditions\/. Facebook IPO Glitch 2012. http:\/\/www.cio.com.au\/article\/425234\/ nasdaq_facebook_glitch_came_from_race_conditions\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151052"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985848"},{"key":"e_1_3_2_1_37_1","unstructured":"Test Strategies for Smartphones and Mobile Devices 2010. http:\/\/www.macadamian.com\/images\/uploads\/whitepapers- \/MobileTestStrategies_Aug2010.pdf. Test Strategies for Smartphones and Mobile Devices 2010. http:\/\/www.macadamian.com\/images\/uploads\/whitepapers- \/MobileTestStrategies_Aug2010.pdf."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985847"},{"key":"e_1_3_2_1_40_1","unstructured":"Stress Testing 2006. http:\/\/msdn.microsoft.com\/en-us \/magazine\/cc163613.aspx. Stress Testing 2006. http:\/\/msdn.microsoft.com\/en-us \/magazine\/cc163613.aspx."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2008.25"},{"key":"e_1_3_2_1_42_1","volume-title":"USENIX Conf. File Stor. Tech.","author":"Tsafrir D.","year":"2008","unstructured":"D. Tsafrir , T. Hertz , D. Wagner , and D. Da Silva . Portably solving file TOCTTOU races with hardness amplification . In USENIX Conf. File Stor. Tech. , 2008 . D. Tsafrir, T. Hertz, D. Wagner, and D. Da Silva. Portably solving file TOCTTOU races with hardness amplification. In USENIX Conf. File Stor. Tech., 2008."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"UART Race 2011. http:\/\/lkml.org\/lkml\/2011\/7\/25\/369. UART Race 2011. http:\/\/lkml.org\/lkml\/2011\/7\/25\/369.","DOI":"10.2500\/ajra.2011.11.3699"},{"key":"e_1_3_2_1_44_1","unstructured":"Web Site Test Tools and Site Management Tools 2012. http:\/\/www.softwareqatest.com\/qatweb1.html. Web Site Test Tools and Site Management Tools 2012. http:\/\/www.softwareqatest.com\/qatweb1.html."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151034"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.33"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","location":"Lugano Switzerland","acronym":"ISSTA '13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483771","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2483760.2483771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:37Z","timestamp":1750277677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":47,"alternative-id":["10.1145\/2483760.2483771","10.1145\/2483760"],"URL":"https:\/\/doi.org\/10.1145\/2483760.2483771","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}