{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:35:30Z","timestamp":1761989730564,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031514784"},{"type":"electronic","value":"9783031514791"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-51479-1_17","type":"book-chapter","created":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T07:02:33Z","timestamp":1704956553000},"page":"327-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Syntax-Aware Mutation for\u00a0Testing the\u00a0Solidity Compiler"],"prefix":"10.1007","author":[{"given":"Charalambos","family":"Mitropoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thodoris","family":"Sotiropoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sotiris","family":"Ioannidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Mitropoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,12]]},"reference":[{"key":"17_CR1","unstructured":"The Counterparty financial platform. https:\/\/counterparty.io\/. Accessed 15 Jan 2023"},{"key":"17_CR2","unstructured":"Hedera hashgraph. Accessed 15 Jan 2023"},{"key":"17_CR3","unstructured":"Optimized contract crash. https:\/\/github.com\/ethereum\/solidity\/issues\/12840. Accessed 05 Jan 2023"},{"key":"17_CR4","unstructured":"Optimized contract freeze. https:\/\/github.com\/ethereum\/solidity\/issues\/12848. Accessed 03 Jan 2023"},{"key":"17_CR5","unstructured":"Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.0\/. Accessed 03 Jan 2023"},{"key":"17_CR6","unstructured":"Solidity compiler - issues catalog. https:\/\/github.com\/ethereum\/solidity\/issues. Accessed 15 Jan 2023"},{"key":"17_CR7","unstructured":"The Solidity contract-oriented programming language Github repository. https:\/\/github.com\/ethereum\/solidity. Accessed 05 Jan 2023"},{"key":"17_CR8","unstructured":"Z3 GitHub repository (2021). https:\/\/github.com\/Z3Prover\/z3. Accessed 20 Jan 2023"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Aschermann, C., Frassetto, T., Holz, T., Jauernig, P., Sadeghi, A., Teuchert, D.: NAUTILUS: fishing for deep bugs with grammars. In: Proceedings of the 26th Annual Network and Distributed System Security Symposium (NDSS) (2019)","DOI":"10.14722\/ndss.2019.23412"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Atlidakis, V., Godefroid, P., Polishchuk, M.: Restler: stateful rest API fuzzing. In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, pp. 748\u2013758. IEEE Press (2019)","DOI":"10.1109\/ICSE.2019.00083"},{"key":"17_CR11","unstructured":"Blazytko, T., et al.: Grimoire: synthesizing structure while fuzzing. In: Proceedings of the 28th USENIX Conference on Security Symposium, pp. 1985\u20132002. USENIX Association, USA (2019)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"B\u00f6hme, M., Pham, V.T., Nguyen, M.D., Roychoudhury, A.: Directed greybox fuzzing. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, pp. 2329\u20132344. Association for Computing Machinery, New York (2017)","DOI":"10.1145\/3133956.3134020"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"B\u00f6hme, M., Pham, V.T., Roychoudhury, A.: Coverage-based greybox fuzzing as Markov chain, CCS 2016, pp. 1032\u20131043. Association for Computing Machinery, New York (2016)","DOI":"10.1145\/2976749.2978428"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Bounimova, E., Godefroid, P., Molnar, D.: Billions and billions of constraints: whitebox fuzz testing in production. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE 2013, pp. 122\u2013131. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606558"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Brent, L., Grech, N., Lagouvardos, S., Scholz, B., Smaragdakis, Y.: Ethainter: a smart contract security analyzer for composite vulnerabilities. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, pp. 454\u2013469. Association for Computing Machinery, New York (2020)","DOI":"10.1145\/3385412.3385990"},{"key":"17_CR16","unstructured":"Browne, R.: Ether, the world\u2019s second-biggest cryptocurrency, is closing in on an all-time high (2021). https:\/\/www.cnbc.com\/2021\/01\/19\/bitcoin-ethereum-eth-cryptocurrency-nears-all-time-high.html. Accessed 20 Jan 2023"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Cha, S.K., Woo, M., Brumley, D.: Program-adaptive mutational fuzzing. In: Proceedings of the 2015 IEEE Symposium on Security and Privacy, SP 2015, pp. 725\u2013741. IEEE Computer Society, USA (2015)","DOI":"10.1109\/SP.2015.50"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Chaliasos, S., Gervais, A., Livshits, B.: A study of inline assembly in solidity smart contracts. Proc. ACM Program. Lang. 6(OOPSLA2) (2022)","DOI":"10.1145\/3563328"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Chaliasos, S., Sotiropoulos, T., Spinellis, D., Gervais, A., Livshits, B., Mitropoulos, D.: Finding typing compiler bugs. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp. 183\u2013198. ACM, New York (2022)","DOI":"10.1145\/3519939.3523427"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Chen, H., et al.: Hawkeye: towards a desired directed grey-box fuzzer. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, pp. 2095\u20132108. Association for Computing Machinery, New York (2018)","DOI":"10.1145\/3243734.3243849"},{"issue":"1","key":"17_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3363562","volume":"53","author":"J Chen","year":"2020","unstructured":"Chen, J., et al.: A survey of compiler testing. ACM Comput. Surv. 53(1), 1\u201336 (2020)","journal-title":"ACM Comput. Surv."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Cordeiro, L., Fischer, B., Marques-Silva, J.: SMT-based bounded model checking for embedded ANSI-C software. In: Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009, pp. 137\u2013148. IEEE Computer Society, USA (2009)","DOI":"10.1109\/ASE.2009.63"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Ghaleb, A., Pattabiraman, K.: How effective are smart contract analysis tools? Evaluating smart contract static analysis tools using bug injection. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2020, pp. 415\u2013427. ACM, New York (2020)","DOI":"10.1145\/3395363.3397385"},{"issue":"2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/3363824","volume":"63","author":"P Godefroid","year":"2020","unstructured":"Godefroid, P.: Fuzzing: hack, art, and science. Commun. ACM 63(2), 70\u201376 (2020)","journal-title":"Commun. ACM"},{"issue":"1","key":"17_CR26","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2090147.2094081","volume":"10","author":"P Godefroid","year":"2012","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: Sage: whitebox fuzzing for security testing: Sage has had a remarkable impact at Microsoft. Queue 10(1), 20\u201327 (2012)","journal-title":"Queue"},{"issue":"10","key":"17_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/3416262","volume":"63","author":"N Grech","year":"2020","unstructured":"Grech, N., Kong, M., Jurisevic, A., Brent, L., Scholz, B., Smaragdakis, Y.: Madmax: analyzing the out-of-gas world of smart contracts. Commun. ACM 63(10), 87\u201395 (2020)","journal-title":"Commun. ACM"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Groce, A., van Tonder, R., Kalburgi, G.T., Le Goues, C.: Making no-fuss compiler fuzzing effective. In: Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction, CC 2022, pp. 194\u2013204. Association for Computing Machinery, New York (2022)","DOI":"10.1145\/3497776.3517765"},{"key":"17_CR29","unstructured":"Holler, C., Herzig, K., Zeller, A.: Fuzzing with code fragments. In: Proceedings of the 21st USENIX Conference on Security Symposium, Security 2012, p. 38. USENIX Association, USA (2012)"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Jiang, B., Liu, Y., Chan, W.K.: Contractfuzzer: fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, pp. 259\u2013269. Association for Computing Machinery, New York (2018)","DOI":"10.1145\/3238147.3238177"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"Klees, G., Ruef, A., Cooper, B., Wei, S., Hicks, M.: Evaluating fuzz testing. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, pp. 2123\u20132138. Association for Computing Machinery, New York (2018)","DOI":"10.1145\/3243734.3243804"},{"key":"17_CR32","doi-asserted-by":"crossref","unstructured":"Lemieux, C., Sen, K.: Fairfuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, pp. 475\u2013485. Association for Computing Machinery, New York (2018)","DOI":"10.1145\/3238147.3238176"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Li, Y., et al.: Cerebro: context-aware adaptive fuzzing for effective vulnerability detection. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2019, pp. 533\u2013544. ACM, New York (2019)","DOI":"10.1145\/3338906.3338975"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Livinskii, V., Babokin, D., Regehr, J.: Random testing for C and C++ compilers with YARPGen. Proc. ACM Program. Lang. 4(OOPSLA) (2020)","DOI":"10.1145\/3428264"},{"key":"17_CR35","unstructured":"Lyu, C., et al.: MOPT: optimized mutation scheduling for fuzzers. In: Proceedings of the 28th USENIX Conference on Security Symposium, pp. 1949\u20131966. USENIX Association, USA (2019)"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Lyu, C., et al.: EMS: history-driven mutation for coverage-based fuzzing. In: 29th Annual Network and Distributed System Security Symposium (2022)","DOI":"10.14722\/ndss.2022.23162"},{"key":"17_CR37","unstructured":"Zalewski, M.: American fuzzy lop (2013). https:\/\/lcamtuf.coredump.cx\/afl\/. Accessed 13 Jan 2023"},{"key":"17_CR38","unstructured":"Rash, M.: AFL-COV - AFL fuzzing code coverage (2021). https:\/\/github.com\/mrash\/afl-cov. Accessed 06 Jan 2023"},{"key":"17_CR39","unstructured":"Rigger, M., Su, Z.: Testing database engines via pivoted query synthesis. In: 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2020), pp. 667\u2013682. USENIX Association (2020)"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"Sotiropoulos, T., Chaliasos, S., Atlidakis, V., Mitropoulos, D., Spinellis, D.: Data-oriented differential testing of object-relational mapping systems. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), pp. 1535\u20131547 (2021)","DOI":"10.1109\/ICSE43902.2021.00137"},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"Sun, C., Le, V., Su, Z.: Finding and analyzing compiler warning defects. In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, pp. 203\u2013213. Association for Computing Machinery, New York (2016)","DOI":"10.1145\/2884781.2884879"},{"key":"17_CR42","doi-asserted-by":"crossref","unstructured":"Sun, C., Le, V., Zhang, Q., Su, Z.: Toward understanding compiler bugs in GCC and LLVM. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp. 294\u2013305. Association for Computing Machinery, New York (2016)","DOI":"10.1145\/2931037.2931074"},{"key":"17_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-319-45744-4_29","volume-title":"Computer Security \u2013 ESORICS 2016","author":"S Veggalam","year":"2016","unstructured":"Veggalam, S., Rawat, S., Haller, I., Bos, H.: IFuzzer: an evolutionary interpreter fuzzer using genetic programming. In: Askoxylakis, I., Ioannidis, S., Katsikas, S., Meadows, C. (eds.) ESORICS 2016. LNCS, vol. 9878, pp. 581\u2013601. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45744-4_29"},{"key":"17_CR44","doi-asserted-by":"crossref","unstructured":"Wang, J., Chen, B., Wei, L., Liu, Y.: Superion: Grammar-aware greybox fuzzing. In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, pp. 724\u2013735. IEEE Press (2019)","DOI":"10.1109\/ICSE.2019.00081"},{"key":"17_CR45","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proceedings of the 31st International Conference on Software Engineering, ICSE 2009, pp. 364\u2013374. IEEE, USA (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"17_CR46","doi-asserted-by":"crossref","unstructured":"W\u00fcstholz, V., Christakis, M.: Harvey: a greybox fuzzer for smart contracts. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020, pp. 1398\u20131409. Association for Computing Machinery, New York (2020)","DOI":"10.1145\/3368089.3417064"},{"key":"17_CR47","doi-asserted-by":"crossref","unstructured":"Yan, S., Wu, C., Li, H., Shao, W., Jia, C.: Pathafl: path-coverage assisted fuzzing. In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020, pp. 598\u2013609. Association for Computing Machinery, New York (2020)","DOI":"10.1145\/3320269.3384736"},{"issue":"6","key":"17_CR48","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/1993316.1993532","volume":"46","author":"X Yang","year":"2011","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in C compilers. SIGPLAN Not. 46(6), 283\u2013294 (2011)","journal-title":"SIGPLAN Not."},{"key":"17_CR49","doi-asserted-by":"crossref","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in c compilers. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp. 283\u2013294. Association for Computing Machinery, New York (2011)","DOI":"10.1145\/1993498.1993532"},{"key":"17_CR50","unstructured":"Zubairy, R.: Create a blockchain app for loyalty points with Hyperledger Fabric Ethereum Virtual Machine (2018). Accessed 06 Jan 2023"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2023"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51479-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T07:08:15Z","timestamp":1704956895000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51479-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031514784","9783031514791"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51479-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Hague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2023.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"478","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"93","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}