{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:21:29Z","timestamp":1779074489239,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238227","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"408-418","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Template-guided concolic testing via online learning"],"prefix":"10.1145","author":[{"given":"Sooyoung","family":"Cha","sequence":"first","affiliation":[{"name":"Korea University, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seonho","family":"Lee","sequence":"additional","affiliation":[{"name":"Korea University, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hakjoo","family":"Oh","sequence":"additional","affiliation":[{"name":"Korea University, South Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792770"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2535461.2535486"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180166"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_7_1","unstructured":"CREST. A concolic test generation tool for C. {n. d.}. https:\/\/github.com\/jburnim\/ crest.  CREST. A concolic test generation tool for C. {n. d.}. https:\/\/github.com\/jburnim\/ crest."},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Security Symposium. 463\u2013478","author":"Davidson Drew","year":"2013","unstructured":"Drew Davidson , Benjamin Moench , Thomas Ristenpart , and Somesh Jha . 2013 . FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution .. In USENIX Security Symposium. 463\u2013478 . Drew Davidson, Benjamin Moench, Thomas Ristenpart, and Somesh Jha. 2013. FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution.. In USENIX Security Symposium. 463\u2013478."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-015-0884-x"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Symposium on Network and Distributed System Security (NDSS)","volume":"8","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y Levin , David A Molnar , 2008 . Automated Whitebox Fuzz Testing .. In Proceedings of the Symposium on Network and Distributed System Security (NDSS) , Vol. 8 . 151\u2013166. Patrice Godefroid, Michael Y Levin, David A Molnar, et al. 2008. Automated Whitebox Fuzz Testing.. In Proceedings of the Symposium on Network and Distributed System Security (NDSS), Vol. 8. 151\u2013166."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707801.1706307"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155573"},{"key":"e_1_3_2_1_15_1","volume-title":"proceedings of the 17th international conference on data engineering. 215\u2013224","author":"Han Jiawei","year":"2001","unstructured":"Jiawei Han , Jian Pei , Behzad Mortazavi-Asl , Helen Pinto , Qiming Chen , Umeshwar Dayal , and Meichun Hsu . 2001 . Prefixspan: Mining sequential patterns efficiently by prefix-projected pattern growth . In proceedings of the 17th international conference on data engineering. 215\u2013224 . Jiawei Han, Jian Pei, Behzad Mortazavi-Asl, Helen Pinto, Qiming Chen, Umeshwar Dayal, and Meichun Hsu. 2001. Prefixspan: Mining sequential patterns efficiently by prefix-projected pattern growth. In proceedings of the 17th international conference on data engineering. 215\u2013224."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134050"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491425"},{"key":"e_1_3_2_1_18_1","volume-title":"CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Kim Su Yong","year":"2017","unstructured":"Su Yong Kim , Sangho Lee , Insu Yun , Wen Xu , Byoungyoung Lee , Youngtae Yun , and Taesoo Kim . 2017 . CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA, 689\u2013701. https:\/\/www.usenix. org\/conference\/atc17\/technical-sessions\/presentation\/kim Su Yong Kim, Sangho Lee, Insu Yun, Wen Xu, Byoungyoung Lee, Youngtae Yun, and Taesoo Kim. 2017. CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 689\u2013701. https:\/\/www.usenix. org\/conference\/atc17\/technical-sessions\/presentation\/kim"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025180"},{"key":"e_1_3_2_1_20_1","volume-title":"Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 105\u2013115","author":"Koroglu Yavuz","year":"2018","unstructured":"Yavuz Koroglu , Alper Sen , Ozlem Muslu , Yunus Mete , Ceyda Ulker , Tolga Tanriverdi , and Yunus Donmez . 2018 . QBE: QLearning-based exploration of android applications. In Software Testing , Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 105\u2013115 . Yavuz Koroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, and Yunus Donmez. 2018. QBE: QLearning-based exploration of android applications. In Software Testing, Verification and Validation (ICST), 2018 IEEE 11th International Conference on. IEEE, 105\u2013115."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970364"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635872"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092709"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.23"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.1043"},{"key":"e_1_3_2_1_28_1","volume-title":"DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering","volume":"1","author":"Wong E.","unstructured":"E. Wong , L. Zhang , S. Wang , T. Liu , and L. Tan . 2015 . DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering , Vol. 1 . 620\u2013631. E. Wong, L. Zhang, S. Wang, T. Liu, and L. Tan. 2015. DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing. In 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, Vol. 1. 620\u2013631."},{"key":"e_1_3_2_1_29_1","volume-title":"IEEE\/IFIP International Conference on. IEEE, 359\u2013368","author":"Xie Tao","year":"2009","unstructured":"Tao Xie , Nikolai Tillmann , Jonathan de Halleux , and Wolfram Schulte . 2009 . Fitness-guided path exploration in dynamic symbolic execution. In Dependable Systems & Networks, 2009. DSN\u201909 . IEEE\/IFIP International Conference on. IEEE, 359\u2013368 . Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. 2009. Fitness-guided path exploration in dynamic symbolic execution. In Dependable Systems & Networks, 2009. DSN\u201909. IEEE\/IFIP International Conference on. IEEE, 359\u2013368."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972733.15"},{"key":"e_1_3_2_1_31_1","volume-title":"AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems","author":"Zaddach Jonas","year":"2014","unstructured":"Jonas Zaddach , Luca Bruno , Aurelien Francillon , and Davide Balzarotti . 2014 . AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems \u2019 Firmwares.. In NDSS. Jonas Zaddach, Luca Bruno, Aurelien Francillon, and Davide Balzarotti. 2014. AVATAR: A Framework to Support Dynamic Security Analysis of Embedded Systems\u2019 Firmwares.. In NDSS."}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238227","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238227","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238227"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":31,"alternative-id":["10.1145\/3238147.3238227","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238227","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}