{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:00Z","timestamp":1750306140126,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"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":[[2017,7,10]]},"DOI":"10.1145\/3092703.3092720","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"35-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Compiler-assisted test acceleration on GPUs for embedded software"],"prefix":"10.1145","author":[{"given":"Vanya","family":"Yaneva","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Ajitha","family":"Rajan","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1383422.1383443"},{"key":"e_1_3_2_1_2_1","unstructured":"E Andersen. 2004. uClibc website. (2004).  E Andersen. 2004. uClibc website. (2004)."},{"key":"e_1_3_2_1_3_1","volume-title":"inInternational Conference on Advances in System Testing and Validation Lifecycle. 126\u2013130","author":"Barbosa Jacson Rodrigues","year":"2011","unstructured":"Jacson Rodrigues Barbosa , ME Delamaro , JC Maldonado , and AMR Vincenzi . 2011 . Software Testing in Critical Embedded Systems: a Systematic Review of Adherence to the DO-178B Standard . In inInternational Conference on Advances in System Testing and Validation Lifecycle. 126\u2013130 . Jacson Rodrigues Barbosa, ME Delamaro, JC Maldonado, and AMR Vincenzi. 2011. Software Testing in Critical Embedded Systems: a Systematic Review of Adherence to the DO-178B Standard. In inInternational Conference on Advances in System Testing and Validation Lifecycle. 126\u2013130."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380368"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025217"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568271"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791321.2791345"},{"key":"e_1_3_2_1_13_1","first-page":"739","article-title":"Parallel test execution. (April 26 2012)","volume":"12","author":"Kushneryk Colin JW","year":"2012","unstructured":"Colin JW Kushneryk and Paul D Barnett . 2012 . Parallel test execution. (April 26 2012) . US Patent App. 12\/911 , 739 . Compiler-Assisted Test Acceleration on GPUs for Embedded Software ISSTA\u201917, July 2017, Santa Barbara, CA, USA Colin JW Kushneryk and Paul D Barnett. 2012. Parallel test execution. (April 26 2012). US Patent App. 12\/911,739. Compiler-Assisted Test Acceleration on GPUs for Embedded Software ISSTA\u201917, July 2017, Santa Barbara, CA, USA","journal-title":"US Patent App."},{"key":"e_1_3_2_1_14_1","volume-title":"The BSD Conference. 1\u20132.","author":"Lattner Chris","year":"2008","unstructured":"Chris Lattner . 2008 . LLVM and Clang: Next generation compiler technology . In The BSD Conference. 1\u20132. Chris Lattner. 2008. LLVM and Clang: Next generation compiler technology. In The BSD Conference. 1\u20132."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610414"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_10"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2159430.2159431"},{"key":"e_1_3_2_1_18_1","unstructured":"2159431  2159431"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2665079"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"J.D. Owens etal 2007. A Survey of General-Purpose Computation on Graphics Hardware. In Computer graphics forum Vol. 26. Wiley Online Library.  J.D. Owens et al. 2007. A Survey of General-Purpose Computation on Graphics Hardware. In Computer graphics forum Vol. 26. Wiley Online Library.","DOI":"10.1111\/j.1467-8659.2007.01012.x"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2009.74"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.31"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2961111.2962593"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642957"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884045.2884046"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451169"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_3_2_1_30_1","unstructured":"2784754  2784754"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Shin Yoo Mark Harman and Shmuel Ur. 2011. Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. In SSBSE.   Shin Yoo Mark Harman and Shmuel Ur. 2011. Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. In SSBSE.","DOI":"10.1007\/978-3-642-23716-4_20"},{"key":"e_1_3_2_1_33_1","volume-title":"International Journal of Engineering Science &amp","author":"Yu Zhao","year":"2013","unstructured":"Zhao Yu , Jae-Han Cho , Byoung-Woo Oh , and Lee-Sub Lee . 2013. Parallel Algorithm for Generation of Test Recommended Path using CUDA . International Journal of Engineering Science &amp ; Technology 5, 2 ( 2013 ). Zhao Yu, Jae-Han Cho, Byoung-Woo Oh, and Lee-Sub Lee. 2013. Parallel Algorithm for Generation of Test Recommended Path using CUDA. International Journal of Engineering Science & Technology 5, 2 (2013)."}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092720","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:26Z","timestamp":1750217846000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":31,"alternative-id":["10.1145\/3092703.3092720","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092720","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}