{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:37:24Z","timestamp":1774366644841,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,3]],"date-time":"2012-03-03T00:00:00Z","timestamp":1330732800000},"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":[[2012,3,3]]},"DOI":"10.1145\/2151024.2151034","type":"proceedings-article","created":{"date-parts":[[2012,3,6]],"date-time":"2012-03-06T08:18:26Z","timestamp":1331021906000},"page":"51-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["SimTester"],"prefix":"10.1145","author":[{"given":"Tingting","family":"Yu","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Witawas","family":"Srisa-an","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]},{"given":"Gregg","family":"Rothermel","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, NE, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,3,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/882481.883775"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_3_1","unstructured":"Apache Software Foundation. Datarace on org.apache.catalina.loader.webappclassloader. https:\/\/issues.apache.org\/bugzilla\/show_bug.cgi?id=37458.  Apache Software Foundation. Datarace on org.apache.catalina.loader.webappclassloader. https:\/\/issues.apache.org\/bugzilla\/show_bug.cgi?id=37458."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134765"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381478"},{"key":"e_1_3_2_1_9_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI)","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI) , pages 209 -- 224 , San Diego, California , 2008 . C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI), pages 209--224, San Diego, California, 2008."},{"key":"e_1_3_2_1_10_1","unstructured":"Canonical Ltd. Launchpad: data-races-implementation sql crash. https:\/\/bugs.launchpad.net\/f-4d-cb\/bug\/516622.  Canonical Ltd. Launchpad: data-races-implementation sql crash. https:\/\/bugs.launchpad.net\/f-4d-cb\/bug\/516622."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508304"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321678"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1404014.1404015"},{"key":"e_1_3_2_1_15_1","volume-title":"Linux Device Drivers","author":"Corbet J.","year":"2005","unstructured":"J. Corbet , A. Rubini , and G. Kroah-Hartman . Linux Device Drivers , 3 rd Edition. O'Reilly and Associates , 2005 . J. Corbet, A. Rubini, and G. Kroah-Hartman. Linux Device Drivers, 3rd Edition. O'Reilly and Associates, 2005.","edition":"3"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195295"},{"key":"e_1_3_2_1_17_1","unstructured":"EETIMES. Five top causes of nasty bugs. Web page. http:\/\/www.eetimes.com\/design\/embedded\/4008917\/Five-top-causes-of-nasty-e%mbedded-software-bugs.  EETIMES. Five top causes of nasty bugs. Web page. http:\/\/www.eetimes.com\/design\/embedded\/4008917\/Five-top-causes-of-nasty-e%mbedded-software-bugs."},{"key":"e_1_3_2_1_18_1","volume-title":"White-Paper, 2009","author":"Engblom J.","year":"2009","unstructured":"J. Engblom . Virtutech device modeling language . White-Paper, 2009 . http:\/\/www.virtutech.com\/files\/whitepapers\/wp-dml- 2009 -03--30-letter.pdf. J. Engblom. Virtutech device modeling language. White-Paper, 2009. http:\/\/www.virtutech.com\/files\/whitepapers\/wp-dml-2009-03--30-letter.pdf."},{"key":"e_1_3_2_1_19_1","first-page":"1","volume-title":"Programmer-written Compiler Extensions. In Proceedings of the 4th Symposium on Operating System Design & Implementation (OSDI)","author":"Engler D.","year":"2000","unstructured":"D. Engler , B. Chelf , A. Chou , and S. Hallem . Checking System Rules Using System-specific , Programmer-written Compiler Extensions. In Proceedings of the 4th Symposium on Operating System Design & Implementation (OSDI) , pages 1 -- 16 , San Diego, California , 2000 . D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking System Rules Using System-specific, Programmer-written Compiler Extensions. In Proceedings of the 4th Symposium on Operating System Design & Implementation (OSDI), pages 1--16, San Diego, California, 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_21_1","first-page":"730","volume-title":"Lee. Schedulable Online Testing Framework for Real-time Embedded Applications in VM. In Proceedings of the 2007 International Conference on Embedded and Ubiquitous Computing (EUC)","author":"Goh O.","year":"2007","unstructured":"O. Goh and Y.- H. Lee. Schedulable Online Testing Framework for Real-time Embedded Applications in VM. In Proceedings of the 2007 International Conference on Embedded and Ubiquitous Computing (EUC) , pages 730 -- 741 , Taipei, Taiwan , 2007 . O. Goh and Y.-H. Lee. Schedulable Online Testing Framework for Real-time Embedded Applications in VM. In Proceedings of the 2007 International Conference on Embedded and Ubiquitous Computing (EUC), pages 730--741, Taipei, Taiwan, 2007."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542452.1542471"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808266.1808278"},{"key":"e_1_3_2_1_25_1","volume-title":"Finding Concurrency Bugs in Java. In In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs","author":"Hovemeyer D.","year":"2004","unstructured":"D. Hovemeyer and W. Pugh . Finding Concurrency Bugs in Java. In In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs , Newfoundland, Canada , 2004 . D. Hovemeyer and W. Pugh. Finding Concurrency Bugs in Java. In In Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs, Newfoundland, Canada, 2004."},{"key":"e_1_3_2_1_26_1","unstructured":"I. Jackson. IRQ handling race and spurious IIR read in 8250.c. Web page. https:\/\/lkml.org\/lkml\/2009\/3\/12\/379.  I. Jackson. IRQ handling race and spurious IIR read in 8250.c. Web page. https:\/\/lkml.org\/lkml\/2009\/3\/12\/379."},{"key":"e_1_3_2_1_27_1","unstructured":"I. van Lil. Serial: UART\\_BUG\\_TXEN race conditions. Web page. http:\/\/lkml.org\/lkml\/2006\/6\/28\/81.  I. van Lil. Serial: UART\\_BUG\\_TXEN race conditions. Web page. http:\/\/lkml.org\/lkml\/2006\/6\/28\/81."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770386"},{"key":"e_1_3_2_1_30_1","unstructured":"Kernel Trap. deadlock in 3c59x driver. Web page. http:\/\/git.kernel.org\/?p=linux\/kernel\/git\/torvalds\/linux-2.6.git;a=commit%;h=4bf3631cdb012591667ab927fcd7719d92837833.  Kernel Trap. deadlock in 3c59x driver. Web page. http:\/\/git.kernel.org\/?p=linux\/kernel\/git\/torvalds\/linux-2.6.git;a=commit%;h=4bf3631cdb012591667ab927fcd7719d92837833."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064992"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1065006"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453115"},{"key":"e_1_3_2_1_34_1","unstructured":"Liang T. Chen. The Challenge of Race Conditions in Parallel Programming. http:\/\/developers.sun.com\/solaris\/articles\/\\\\raceconditions.html.  Liang T. Chen. The Challenge of Race Conditions in Parallel Programming. http:\/\/developers.sun.com\/solaris\/articles\/\\\\raceconditions.html."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318622"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735997.1736001"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1965974.1965981"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_43_1","volume-title":"White Paper, 2007","author":"Takalo J.","year":"2008","unstructured":"J. Takalo , J. Kaariainen , P. Parviainen , and T. Ihme . Challenges of Software-Hardware Codesign . White Paper, 2007 . http:\/\/www.vtt.fi\/inf\/pdf\/workingpapers\/ 2008 \/W91.pdf. J. Takalo, J. Kaariainen, P. Parviainen, and T. Ihme. Challenges of Software-Hardware Codesign. White Paper, 2007. http:\/\/www.vtt.fi\/inf\/pdf\/workingpapers\/2008\/W91.pdf."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_1_45_1","volume-title":"Web-page","author":"River Wind","year":"2011","unstructured":"Wind River . Wind River Simics . Web-page , 2011 . http:\/\/www.simics.net. Wind River. Wind River Simics. Web-page, 2011. http:\/\/www.simics.net."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.33"}],"event":{"name":"VEE '12: ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","location":"London England, UK","acronym":"VEE '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 8th ACM SIGPLAN\/SIGOPS conference on Virtual Execution Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2151024.2151034","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2151024.2151034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:44Z","timestamp":1750226084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2151024.2151034"}},"subtitle":["a controllable and observable testing framework for embedded systems"],"short-title":[],"issued":{"date-parts":[[2012,3,3]]},"references-count":46,"alternative-id":["10.1145\/2151024.2151034","10.1145\/2151024"],"URL":"https:\/\/doi.org\/10.1145\/2151024.2151034","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2365864.2151034","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,3,3]]},"assertion":[{"value":"2012-03-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}