{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:44:57Z","timestamp":1772642697814,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T00:00:00Z","timestamp":1739491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T00:00:00Z","timestamp":1739491200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2025,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Fuzzing is an automated process for discovering inputs in a program that may trigger unexpected behavior. Today, fuzzing has become a standard practice for the discovery of bugs and security vulnerabilities. However, the main issue with such practices is that the exploration of the <jats:italic>input space<\/jats:italic> of programs can often be prohibitively expensive. Therefore, several alternative fuzzing strategies have been introduced during the last few years. Some fuzzing techniques rely on human expertise to provide a plausible set of initial input examples, namely, seeds. However, the process of handcrafting seeds for fuzzing purposes often becomes strenuous for humans as it requires a deeper understanding of the Program-Under-Test (PUT). Also, the use of known inputs to programs often does not trigger vulnerable program behavior or may not reach potentially vulnerable code locations. To address those issues, we propose a seed generation framework that enables Human-In-The-Loop (HITL) directed fuzzing where the human assumes a more active role in the creation of seeds that can penetrate and assess desired locations of the PUT. Our proposed framework uses Symbolic Execution (SE) to generate seeds that exercise paths to target program locations. Moreover, our framework enables the visualization of the explored execution paths in the binary of the PUT for the generated seeds. We evaluated our approach on a set of 12 carefully designed C programs with diverse characteristics that mimic real-world programs. The experimental results show the effectiveness of the proposed approach in improving the performance of standard fuzzing tools such as the American Fuzzy Lop (\"Image missing\"). Specifically, our solution can generate seeds that substantially enhance the performance of the fuzzer, achieving speedups ranging from <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$1.46\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>1.46<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$68.53\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>68.53<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> for branch conditions, <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$1.39\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>1.39<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$254.62\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>254.62<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> for branch depths, <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$14,879.59\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>14<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mn>879.59<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$30,295.88\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>30<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mn>295.88<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> for branch widths over traditional seeds. Additionally, the speedup increases with the number of target function ranging from <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$12,260\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>12<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mn>260<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> to <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$22,856.07\\times $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mn>22<\/mml:mn>\n                    <mml:mo>,<\/mml:mo>\n                    <mml:mn>856.07<\/mml:mn>\n                    <mml:mo>\u00d7<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula> over traditional seeds while only requiring less than 15 seconds on average for the seed generation step.<\/jats:p>","DOI":"10.1007\/s10207-024-00953-6","type":"journal-article","created":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T22:10:02Z","timestamp":1739571002000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Speeding-up fuzzing through directional seeds"],"prefix":"10.1007","volume":"24","author":[{"given":"Koffi Anderson","family":"Koffi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vyron","family":"Kampourakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantinos","family":"Kolias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert C.","family":"Ivans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,14]]},"reference":[{"issue":"1","key":"953_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1186\/s42400-018-0005-8","volume":"1","author":"J Li","year":"2018","unstructured":"Li, J., Zhao, B., Zhang, C.: Fuzzing: a survey. Cybersecurity 1(1), 1\u201313 (2018)","journal-title":"Cybersecurity"},{"key":"953_CR2","first-page":"17","volume":"14","author":"VJM Man\u00e8s","year":"2019","unstructured":"Man\u00e8s, V.J.M., Han, H.S., Han, C., Cha, S.K., Egele, M., Schwartz, E.J., Woo, M.: The art, science, and engineering of fuzzing: a survey. IEEE Trans. Softw. Eng. 14, 17\u201323 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"953_CR3","unstructured":"American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"953_CR4","unstructured":"Fioraldi, A., Maier, D., Ei\u00dffeldt, H., Heuse, M.: $$\\{$$AFL++$$\\}$$: Combining incremental steps of fuzzing research. In: 14th USENIX Workshop on Offensive Technologies (WOOT 20), (2020)"},{"key":"953_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, L., Zhang, Y., Zhang, Y., Wu, C., Li, Z., Fu, Y., Li, H.: Optimizing seed inputs in fuzzing with machine learning. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: companion Proceedings (ICSE-Companion) (pp 244\u2013245). IEEE, (2019)","DOI":"10.1109\/ICSE-Companion.2019.00096"},{"key":"953_CR6","unstructured":"Zhu, X., Liu, S., Li, X., Wen, S., Zhang, J., Zhang, J., Camtepe, S., Seyit, C., Xiang, Y.: DeFuzz: deep learning guided directed fuzzing. (2020)"},{"key":"953_CR7","unstructured":"Wang, P., Wang, P., Wang, P., Zhou, X., Zhou, X.: SoK: the progress, challenges, and perspectives of directed greybox fuzzing. (2020a)"},{"key":"953_CR8","doi-asserted-by":"publisher","unstructured":"B\u00f6hme, M., Pham, V.-T., Nguyen, M.-D., Roychoudhury, A.: Directed Greybox Fuzzing. CCS, p 2329\u20132344, (2017). https:\/\/doi.org\/10.1145\/3133956.3134020","DOI":"10.1145\/3133956.3134020"},{"key":"953_CR9","doi-asserted-by":"publisher","DOI":"10.1109\/dsn.2019.00066","author":"P Jiaqi","year":"2019","unstructured":"Jiaqi, P., Li, F., Feng, L., Li, F., Liu, B., Xu, L., Binghong, L., Chen, K., Huo, W.: 1dVul: discovering 1-day vulnerabilities through binary patches. Depend. Syst. Netw. (2019). https:\/\/doi.org\/10.1109\/dsn.2019.00066","journal-title":"Depend. Syst. Netw."},{"key":"953_CR10","doi-asserted-by":"publisher","unstructured":"Juhwan, K., Joobeom, Y.: Poster: directed hybrid fuzzing on binary code. In: Conference on Computer and Communications Security, pp. 2637\u20132639, (2019). https:\/\/doi.org\/10.1145\/3319535.3363275","DOI":"10.1145\/3319535.3363275"},{"key":"953_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/tdsc.2020.3014624","volume":"99","author":"ME Garbelini","year":"2021","unstructured":"Garbelini, M.E., Wang, C., Wang, C., Chattopadhyay, S.: GREYHOUND: directed greybox Wi-fi fuzzing. IEEE Trans. Depend. Secure Comput. 99, 1\u20131 (2021). https:\/\/doi.org\/10.1109\/tdsc.2020.3014624","journal-title":"IEEE Trans. Depend. Secure Comput."},{"key":"953_CR12","unstructured":"Nguyen, M.-D., Nguyen, M.-D., Nguyen, M.-D., Bardin, S., Bonichon, R., Groz, Ro., Groz, R., Lemerre, M.: Binary-level directed fuzzing for use-after-free vulnerabilities. (2020)"},{"key":"953_CR13","doi-asserted-by":"publisher","unstructured":"Chen, Z., Guo, S., Fu, D.: A directed fuzzing based on the dynamic symbolic execution and extended program behavior model. In: 2012 Second International Conference on Instrumentation, Measurement, Computer, Communication and Control, pp. 1641\u20131644, December (2012) https:\/\/doi.org\/10.1109\/imccc.2012.382","DOI":"10.1109\/imccc.2012.382"},{"key":"953_CR14","doi-asserted-by":"publisher","unstructured":"Ganesh, V., Leek, T., Rinard, M.: Taint based directed whitebox fuzzing. In: 2009 IEEE 31st International Conference on Software Engineering, (2009). https:\/\/doi.org\/10.1109\/icse.2009.5070546","DOI":"10.1109\/icse.2009.5070546"},{"key":"953_CR15","doi-asserted-by":"crossref","unstructured":"Shoshitaishvili, Y., Wang, R., Salls, C., Stephens, N., Polino, M., Dutcher, A., Grosen, J., Feng, S., Hauser, C., Kruegel, C., Vigna, G.: SoK: (State of) the art of war: offensive techniques in binary analysis. In: IEEE Symposium on Security and Privacy, (2016)","DOI":"10.1109\/SP.2016.17"},{"issue":"5","key":"953_CR16","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1134\/s036176881805002x","volume":"44","author":"AY Gerasimov","year":"2018","unstructured":"Gerasimov, A.Y.: Directed dynamic symbolic execution for static analysis warnings confirmation. Program. Comput. Softw. 44(5), 316\u2013323 (2018). https:\/\/doi.org\/10.1134\/s036176881805002x","journal-title":"Program. Comput. Softw."},{"key":"953_CR17","unstructured":"Hussain, A., Alipour, MA.: FMViz: Visualizing tests generated by AFL at the byte-level. ArXiv, (2021)"},{"key":"953_CR18","unstructured":"Fioraldi, A., Pileggi, L.P.: FuzzSplore: visualizing feedback-driven fuzzing techniques. ArXiv, (2021)"},{"key":"953_CR19","doi-asserted-by":"publisher","unstructured":"Zhou, C., Wang, M., Liang, J., Liu, Z., Liu, Z., Liu, Z., Sun, C., Sun, C., Sun, C., Jiang, Y.: VisFuzz: understanding and intervening fuzzing with interactive visualization. In: International Conference on Automated Software Engineering, pp. 1078\u20131081, November (2019). https:\/\/doi.org\/10.1109\/ase.2019.00106","DOI":"10.1109\/ase.2019.00106"},{"key":"953_CR20","doi-asserted-by":"publisher","DOI":"10.1109\/dsc55868.2022.00058","author":"Q Yan","year":"2022","unstructured":"Yan, Q., Huang, M., Cao, H.: A survey of human-machine collaboration in fuzzing. Int. Conf. Data Sci. Cyberspace (2022). https:\/\/doi.org\/10.1109\/dsc55868.2022.00058","journal-title":"Int. Conf. Data Sci. Cyberspace"},{"key":"953_CR21","unstructured":"Grishin, M., Korkin, I.: Human-controlled fuzzing With AFL. (2022)"},{"issue":"4","key":"953_CR22","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3390\/cryptography6040053","volume":"6","author":"V Kampourakis","year":"2022","unstructured":"Kampourakis, V., Chatzoglou, E., Kambourakis, G., Dolmes, A., Zaroliagis, C.: WPAxFuzz: sniffing out vulnerabilities in Wi-Fi implementations. Cryptography 6(4), 53 (2022). https:\/\/doi.org\/10.3390\/cryptography6040053","journal-title":"Cryptography"},{"issue":"3","key":"953_CR23","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/3182657","volume":"51","author":"R Baldoni","year":"2018","unstructured":"Baldoni, R., Coppa, E., D\u2019Elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 50 (2018). https:\/\/doi.org\/10.1145\/3182657","journal-title":"ACM Comput. Surv."},{"key":"953_CR24","doi-asserted-by":"publisher","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: International Conference on Tools and Algorithms for Construction and Analysis of Systems, pp. 337\u2013340, (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"953_CR25","doi-asserted-by":"publisher","unstructured":"Stephens, N., Grosen, J., Salls, C., Dutcher, A., Wang, R., Corbetta, J., Shoshitaishvili, Y., Kruegel, C., Vigna, G.: Driller: augmenting fuzzing through selective symbolic execution. In: Network and distributed system security symposium, (2016).https:\/\/doi.org\/10.14722\/ndss.2016.23368","DOI":"10.14722\/ndss.2016.23368"},{"key":"953_CR26","doi-asserted-by":"publisher","unstructured":"Shoshitaishvili, Y., Weissbacher, M., Dresel, L., Salls, C., Wang, R., Kruegel, C., Vigna, G.: Rise of the HaCRS: augmenting autonomous cyber reasoning systems with human assistance. (2017). https:\/\/doi.org\/10.1145\/3133956.3134105","DOI":"10.1145\/3133956.3134105"},{"issue":"6","key":"953_CR27","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/1993498.1993558","volume":"46","author":"S Person","year":"2011","unstructured":"Person, S., Yang, G., Rungta, N., Khurshid, S.: Directed incremental symbolic execution. ACM-SIGPLAN Sym. Program. Lang. Design Impl. 46(6), 504\u2013515 (2011). https:\/\/doi.org\/10.1145\/1993498.1993558","journal-title":"ACM-SIGPLAN Sym. Program. Lang. Design Impl."},{"key":"953_CR28","doi-asserted-by":"publisher","unstructured":"Ma, K.-K., Phang, K.Y., Foster, J.S., Hicks, M.: Directed symbolic execution. In: Sensors Applications Symposium, pp. 95\u2013111, (2011). https:\/\/doi.org\/10.1007\/978-3-642-23702-7_11","DOI":"10.1007\/978-3-642-23702-7_11"},{"issue":"1","key":"953_CR29","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2110356.2110358","volume":"30","author":"V Chipounov","year":"2012","unstructured":"Chipounov, V., Kuznetsov, V., Candea, G.: The S2E platform: design, implementation, and applications. ACM Trans. Comput. Syst. 30(1), 2 (2012). https:\/\/doi.org\/10.1145\/2110356.2110358","journal-title":"ACM Trans. Comput. Syst."},{"key":"953_CR30","unstructured":"Yun, I., Lee, S., Xu, M., Xu, M., Xu, M., Xu, M., Jang, Y., Kim, T.: QSYM: a practical concolic execution engine tailored for hybrid fuzzing. In: USENIX Security Symposium, pp. 745\u2013761, (2018)"},{"key":"953_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2021.102368","volume":"108","author":"L Borzacchiello","year":"2021","unstructured":"Borzacchiello, L., Coppa, E., Demetrescu, C.: FUZZOLIC: mixing fuzzing and concolic execution. Comput. Secur. 108, 102368 (2021). https:\/\/doi.org\/10.1016\/j.cose.2021.102368","journal-title":"Comput. Secur."},{"key":"953_CR32","doi-asserted-by":"publisher","unstructured":"You, W., Zong, P., Chen, K., Wang, X., Wang, X., Wang, X., Liao, X., Bian, P., Liang, B.: SemFuzz: semantics-based automatic generation of proof-of-concept exploits. In: Conference on Computer and Communications Security, pp. 2139\u20132154, (2017).https:\/\/doi.org\/10.1145\/3133956.3134085","DOI":"10.1145\/3133956.3134085"},{"key":"953_CR33","doi-asserted-by":"publisher","unstructured":"Wang, Y., Xiangkun, J., Jia, X., Liu, Y., Zeng, K., Bao, T., Wu, D., Wu, D., Su, P.: Not all coverage measurements are equal: fuzzing by coverage accounting for input prioritization. In: Network and Distributed System Security Symposium, (2020b). https:\/\/doi.org\/10.14722\/ndss.2020.24422","DOI":"10.14722\/ndss.2020.24422"},{"key":"953_CR34","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484596","author":"X Zhu","year":"2021","unstructured":"Zhu, X., B\u00f6hme, M.: Regression greybox fuzzing. Conf. Comput. Commun. Secur. (2021). https:\/\/doi.org\/10.1145\/3460120.3484596","journal-title":"Conf. Comput. Commun. Secur."},{"key":"953_CR35","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Li, Y., Li, Y., Tengfei, Y., Xie, H., Xie, H., Xie, H.: Suzzer: a vulnerability-guided fuzzer based on deep learning. In: Conference on Information Security and Cryptology, pp. 134\u2013153, (2019). https:\/\/doi.org\/10.1007\/978-3-030-42921-8_8","DOI":"10.1007\/978-3-030-42921-8_8"},{"key":"953_CR36","unstructured":"Li, Y., Ji, S., Lv, C., Chen, Y., Chen, J., Gu, Q., Wu, C.: V-Fuzz: vulnerability-oriented evolutionary fuzzing. (2019)"},{"key":"953_CR37","doi-asserted-by":"publisher","unstructured":"Wang, H., Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Liu, Y., Qin, S., Chen, H., Sui, Y.: Typestate-guided fuzzer for discovering use-after-free vulnerabilities. In: International Conference on Software Engineering, pp. 999\u20131010, (2020). https:\/\/doi.org\/10.1145\/3377811.3380386","DOI":"10.1145\/3377811.3380386"},{"key":"953_CR38","doi-asserted-by":"publisher","unstructured":"Aschermann, C., Schumilo, S., Abbasi, A., Holz, T.: Ijon: exploring deep state spaces via fuzzing. In: IEEE Symposium on Security and Privacy, pp. 1597\u20131612, (2020). https:\/\/doi.org\/10.1109\/sp40000.2020.00117","DOI":"10.1109\/sp40000.2020.00117"},{"key":"953_CR39","doi-asserted-by":"publisher","unstructured":"Yu, J., Kim, J., Yun, Y., Yun, J.: Poster: combining fuzzing with concolic execution for iot firmware testing. In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201923, pp. 3564-3566, New York, NY, USA, (2023). Association for Computing Machinery. ISBN 9798400700507. https:\/\/doi.org\/10.1145\/3576915.3624373","DOI":"10.1145\/3576915.3624373"},{"key":"953_CR40","doi-asserted-by":"publisher","unstructured":"Rohleder, R.: Hands-on ghidra - a tutorial about the software reverse engineering framework. In: Proceedings of the 3rd ACM Workshop on Software Protection, SPRO\u201919, page 77-78, New York, NY, USA, (2019). Association for Computing Machinery. ISBN 9781450368353. https:\/\/doi.org\/10.1145\/3338503.3357725","DOI":"10.1145\/3338503.3357725"},{"key":"953_CR41","doi-asserted-by":"publisher","unstructured":"Saha, S., Sarker, L., Shafiuzzaman, M., Shou, C., Li, A., Sankaran, G., Bultan, T.: Rare path guided fuzzing. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, pp. 1295-1306, New York, NY, USA, (2023). Association for Computing Machinery. ISBN 9798400702211. https:\/\/doi.org\/10.1145\/3597926.3598136","DOI":"10.1145\/3597926.3598136"},{"key":"953_CR42","unstructured":"Shi, J., Wang, Z., Feng, Z., Lan, Y., Qin, S., You, W., Zou, W., Payer, M., Zhang, C.: AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering. In: 32nd USENIX Security Symposium (USENIX Security 23), pp. 4967\u20134984, (2023). ISBN 978-1-939133-37-3. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/shi-ji"},{"issue":"1","key":"953_CR43","doi-asserted-by":"crossref","first-page":"45","DOI":"10.25008\/ijadis.v2i1.1206","volume":"2","author":"MR Wayahdi","year":"2021","unstructured":"Wayahdi, M.R., Ginting, S.H.N., Syahputra, D.: Greedy, a-star, and dijkstra\u2019s algorithms in finding shortest path. Int. J. Adv. Data Inf. Syst. 2(1), 45\u201352 (2021)","journal-title":"Int. J. Adv. Data Inf. Syst."},{"key":"953_CR44","unstructured":"Larochelle, D., Evans, D: Statically detecting likely buffer overflow vulnerabilities. In: 10th USENIX Security Symposium (USENIX Security 01), (2001)"},{"key":"953_CR45","unstructured":"Falcon, (2023). https:\/\/www.c3plus3.org\/falcon\/"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-024-00953-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10207-024-00953-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-024-00953-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T08:00:33Z","timestamp":1743321633000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10207-024-00953-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,14]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["953"],"URL":"https:\/\/doi.org\/10.1007\/s10207-024-00953-6","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,14]]},"assertion":[{"value":"14 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no other conflicts of interest to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"77"}}