{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T18:05:26Z","timestamp":1778609126731,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"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":[[2024,7,10]]},"DOI":"10.1145\/3663529.3663812","type":"proceedings-article","created":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T19:43:13Z","timestamp":1720640593000},"page":"627-631","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Rapid Taint Assisted Concolic Execution (TACE)"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6102-7114","authenticated-orcid":false,"given":"Ridhi","family":"Jain","sequence":"first","affiliation":[{"name":"Technology Innovation Institute, Abu Dhabi, UAE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9002-5935","authenticated-orcid":false,"given":"Norbert","family":"Tihanyi","sequence":"additional","affiliation":[{"name":"Technology Innovation Institute, Abu Dhabi, UAE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0474-9548","authenticated-orcid":false,"given":"Mthandazo","family":"Ndhlovu","sequence":"additional","affiliation":[{"name":"Technology Innovation Institute, Abu Dhabi, UAE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0632-3172","authenticated-orcid":false,"given":"Mohamed Amine","family":"Ferrag","sequence":"additional","affiliation":[{"name":"Technology Innovation Institute, Abu Dhabu, UAE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6235-4272","authenticated-orcid":false,"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Cordeiro","author":"Alshmrany Kaled M.","year":"2021","unstructured":"Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, and Lucas C. Cordeiro. 2021. FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. In Tests and Proofs, Fr\u00e9d\u00e9ric Loulergue and Franz Wotawa (Eds.). Springer International Publishing, Cham. 85\u2013105. isbn:978-3-030-79379-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_2_1_4_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08). USENIX Association, San Diego, CA. https:\/\/www.usenix.org\/conference\/osdi-08\/klee-unassisted-and-automatic-generation-high-coverage-tests-complex-systems"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_7_1","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Chen Ju","year":"2022","unstructured":"Ju Chen, WookHyun Han, Mingjun Yin, Haochen Zeng, Chengyu Song, Byoungyoung Lee, Heng Yin, and Insik Shin. 2022. SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA. 2531\u20132548. isbn:978-1-939133-31-1 https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/chen-ju"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_10_1","volume-title":"SAT","author":"Corzilius Florian","year":"2015","unstructured":"Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, and Erika \u00c1brah\u00e1m. 2015. SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. In SAT 2015. Springer, 360\u2013368."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240848"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00571-2"},{"key":"e_1_3_2_1_13_1","volume-title":"DART: Directed automated random testing. In PLDI. 213\u2013223.","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid, Nils Klarlund, and Koushik Sen. 2005. DART: Directed automated random testing. In PLDI. 213\u2013223."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"1267","DOI":"10.1631\/FITEE.1900213","article-title":"Modified condition\/decision coverage (MC\/DC) oriented compiler optimization for symbolic execution","volume":"21","author":"Dong Wei","year":"2020","unstructured":"Wei-jiang Hong, Yi-jun Liu, Zhen-bang Chen, Wei Dong, and Ji Wang. 2020. Modified condition\/decision coverage (MC\/DC) oriented compiler optimization for symbolic execution. Frontiers of Information Technology & Electronic Engineering, 21, 9 (2020), 1267\u20131284.","journal-title":"Frontiers of Information Technology & Electronic Engineering"},{"key":"e_1_3_2_1_15_1","volume-title":"9th International Conference, TACAS, ETAPS. 553\u2013568","author":"Khurshid Sarfraz","year":"2003","unstructured":"Sarfraz Khurshid, Corina S P\u0103s\u0103reanu, and Willem Visser. 2003. Generalized symbolic execution for model checking and testing. In 9th International Conference, TACAS, ETAPS. 553\u2013568."},{"key":"e_1_3_2_1_16_1","volume-title":"Symbolic Execution and Program Testing, communications de l\u2019ACM","author":"King JC","year":"1976","unstructured":"JC King. 1976. Symbolic Execution and Program Testing, communications de l\u2019ACM, vol. 19 n. 7. July, 10 (1976), 360248\u2013360252."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Samuel Kolb Stefano Teso Andrea Passerini and Luc De Raedt. 2018. Learning SMT (LRA) constraints using SMT solvers. In IJCAI. 2333\u20132340.","DOI":"10.24963\/ijcai.2018\/323"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2013.59"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Yi Li Aws Albarghouthi Zachary Kincaid Arie Gurfinkel and Marsha Chechik. 2014. Symbolic Optimization with SMT Solvers. In POPL. ACM 607\u2013618. isbn:9781450325448 https:\/\/doi.org\/10.1145\/2535838.2535857 10.1145\/2535838.2535857","DOI":"10.1145\/2535838.2535857"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Xianya Mi Sanjay Rawat Cristiano Giuffrida and Herbert Bos. 2021. LeanSym: Efficient hybrid fuzzing through conservative constraint debloating. In RAID. 62\u201377.","DOI":"10.1145\/3471621.3471852"},{"key":"e_1_3_2_1_21_1","volume-title":"Full-speed fuzzing: Reducing fuzzing overhead through coverage-guided tracing","author":"Nagy Stefan","unstructured":"Stefan Nagy and Matthew Hicks. 2019. Full-speed fuzzing: Reducing fuzzing overhead through coverage-guided tracing. In IEEE SP. 787\u2013802."},{"key":"e_1_3_2_1_22_1","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon. 2020. Symbolic execution with $SymCC$: Don\u2019t interpret compile!. In USENIX. 181\u2013198."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon. 2021. SymQEMU: Compilation-based symbolic execution for binaries. In NDSS.","DOI":"10.14722\/ndss.2021.24118"},{"key":"e_1_3_2_1_24_1","unstructured":"TACE repository. 2023. Taint Assisted Concolic Execution (TACE) Git Hub repository. https:\/\/github.com\/tacetool\/TACE."},{"key":"e_1_3_2_1_25_1","volume-title":"Automating Differential Testing with Overapproximate Symbolic Execution","author":"Rutledge Richard","unstructured":"Richard Rutledge and Alessandro Orso. 2022. Automating Differential Testing with Overapproximate Symbolic Execution. In IEEE ICST. 256\u2013266."},{"key":"e_1_3_2_1_26_1","volume-title":"CAV","author":"Sen Koushik","year":"2006","unstructured":"Koushik Sen and Gul Agha. 2006. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper). In CAV 2006. Springer, 419\u2013423."},{"key":"e_1_3_2_1_27_1","unstructured":"Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. $AddressSanitizer$: A fast address sanity checker. In 2012 USENIX annual technical conference (USENIX ATC 12). 309\u2013318."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Xiaoyin Wang Lingming Zhang and Philip Tanofsky. 2015. Experience report: How is dynamic symbolic execution different from manual testing? a study on klee. In ISSTA. ACM 199\u2013210.","DOI":"10.1145\/2771783.2771818"},{"key":"e_1_3_2_1_29_1","volume-title":"A concurrent portfolio approach to SMT solving","author":"Wintersteiger Christoph M","unstructured":"Christoph M Wintersteiger, Youssef Hamadi, and Leonardo De Moura. 2009. A concurrent portfolio approach to SMT solving. In CAV. Springer, 715\u2013720."},{"key":"e_1_3_2_1_30_1","volume-title":"d.]. American Fuzzy Lop. https:\/\/lcamtuf.coredump.cx\/afl\/ [Online","author":"Zalewski Micha\u0142","year":"2022","unstructured":"Micha\u0142 Zalewski. [n. d.]. American Fuzzy Lop. https:\/\/lcamtuf.coredump.cx\/afl\/ [Online; accessed 1 Sep. 2022]"}],"event":{"name":"FSE '24: 32nd ACM International Conference on the Foundations of Software Engineering","location":"Porto de Galinhas Brazil","acronym":"FSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663812","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663529.3663812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:21Z","timestamp":1750290261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663529.3663812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":30,"alternative-id":["10.1145\/3663529.3663812","10.1145\/3663529"],"URL":"https:\/\/doi.org\/10.1145\/3663529.3663812","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]},"assertion":[{"value":"2024-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}