{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T01:11:20Z","timestamp":1789434680676,"version":"build-2803163510"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T00:00:00Z","timestamp":1713830400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T00:00:00Z","timestamp":1713830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62272387"],"award-info":[{"award-number":["62272387"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Natural Science Basic Research Program of Shaanxi","award":["2022JM-342"],"award-info":[{"award-number":["2022JM-342"]}]},{"name":"Youth Innovation Team of Shaanxi Universities","award":["``Industial Big Data Analysis and Intelligent Processing\""],"award-info":[{"award-number":["``Industial Big Data Analysis and Intelligent Processing\""]}]},{"name":"Special Funds for Construction of Key Disciplines in Universities in Shaanxi"},{"name":"Graduate Innovation Fund of Xi'an University of Posts and Telecommunications","award":["CXJJDL2022013"],"award-info":[{"award-number":["CXJJDL2022013"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2024,6]]},"DOI":"10.1007\/s11219-024-09673-5","type":"journal-article","created":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T08:02:11Z","timestamp":1713859331000},"page":"765-790","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Differential testing solidity compiler through deep contract manipulation and mutation"],"prefix":"10.1007","volume":"32","author":[{"given":"Zhenzhou","family":"Tian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fanfan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanping","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingwei","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,4,23]]},"reference":[{"key":"9673_CR1","unstructured":"AFL. (2019). American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/. Accessed 23 Nov 2023."},{"key":"9673_CR2","unstructured":"AFL++. (2024). AFL++. https:\/\/aflplus.plus\/. Accessed 25 Mar 2024."},{"key":"9673_CR3","doi-asserted-by":"publisher","unstructured":"B\u00f6hme, M., Pham, V. -T., Nguyen, M. -D., & Roychoudhury, A. (2017). Directed greybox fuzzing. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. CCS \u201917, pp. 2329\u20132344. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3133956.3134020","DOI":"10.1145\/3133956.3134020"},{"key":"9673_CR4","doi-asserted-by":"publisher","unstructured":"Chaliasos, S., Sotiropoulos, T., Spinellis, D., Gervais, A., Livshits, B., Mitropoulos, D. (2022). Finding typing compiler bugs. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2022, pp. 183\u2013198. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3519939.3523427","DOI":"10.1145\/3519939.3523427"},{"key":"9673_CR5","doi-asserted-by":"publisher","DOI":"10.1145\/3641289","volume-title":"A survey on evaluation of large language models","author":"Y Chang","year":"2024","unstructured":"Chang, Y., Wang, X., Wang, J., Wu, Y., Yang, L., Zhu, K., Chen, H., Yi, X., Wang, C., Wang, Y., Ye, W., Zhang, Y., Chang, Y., Yu, P. S., Yang, Q., & Xie, X. (2024). A survey on evaluation of large language models. ACM Trans: Intell. Syst. Technol. https:\/\/doi.org\/10.1145\/3641289"},{"key":"9673_CR6","doi-asserted-by":"crossref","unstructured":"Chen, C., Cui, B., Ma, J., Wu, R., Guo, J., & Liu, W. (2018). A systematic review of fuzzing techniques. Computers & Security, pp. 118\u2013137.","DOI":"10.1016\/j.cose.2018.02.002"},{"key":"9673_CR7","doi-asserted-by":"publisher","unstructured":"Chen, J., Hu, W., Hao, D., Xiong, Y., Zhang, H., Zhang, L., & Xie, B. (2016). An empirical comparison of compiler testing techniques. In: Proceedings of the 38th International Conference on Software Engineering. ICSE \u201916, pp. 180\u2013190. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/2884781.2884878","DOI":"10.1145\/2884781.2884878"},{"key":"9673_CR8","doi-asserted-by":"publisher","unstructured":"Chen, T., Li, X., Luo, X., & Zhang, X. (2017). Under-optimized smart contracts devour your money. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 442\u2013446. https:\/\/doi.org\/10.1109\/SANER.2017.7884650","DOI":"10.1109\/SANER.2017.7884650"},{"key":"9673_CR9","doi-asserted-by":"publisher","unstructured":"Chen, J., Patra, J., Pradel, M., Xiong, Y., Zhang, H., Hao, D., & Zhang, L. (2020). A survey of compiler testing,53(1). https:\/\/doi.org\/10.1145\/3363562","DOI":"10.1145\/3363562"},{"key":"9673_CR10","doi-asserted-by":"publisher","unstructured":"Chen, J., Xia, X., Lo, D., & Grundy, J. (2021). Why do smart contracts self-destruct? investigating the selfdestruct function on ethereum. ACM Transactions on Software Engineering and Methodology,31(2). https:\/\/doi.org\/10.1145\/3488245","DOI":"10.1145\/3488245"},{"key":"9673_CR11","doi-asserted-by":"publisher","unstructured":"Chen, Y., Zhong, R., Hu, H., Zhang, H., Yang, Y., Wu, D., & Lee, W. (2021). One engine to fuzz \u2019em all: Generic language processor testing with semantic validation. In: 2021 IEEE Symposium on Security and Privacy (SP), pp. 642\u2013658. https:\/\/doi.org\/10.1109\/SP40001.2021.00071","DOI":"10.1109\/SP40001.2021.00071"},{"key":"9673_CR12","doi-asserted-by":"publisher","unstructured":"Chen, T. Y., Kuo, F.-C., Merkel, R. G., & Tse, T. H. (2010). Adaptive random testing: The art of test case diversity. Journal of Systems and Software, 83(1), 60\u201366. https:\/\/doi.org\/10.1016\/j.jss.2009.02.022. SI: Top Scholars","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"9673_CR13","doi-asserted-by":"publisher","unstructured":"Chowdhury, S. A., Mohian, S., Mehra, S., Gawsane, S., Johnson, T. T., & Csallner, C. (2018). Automatically finding bugs in a commercial cyber-physical system development tool chain with slforge. In: Proceedings of the 40th International Conference on Software Engineering. ICSE \u201918, pp. 981\u2013992. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3180155.3180231","DOI":"10.1145\/3180155.3180231"},{"key":"9673_CR14","doi-asserted-by":"publisher","unstructured":"Cummins, C., Petoumenos, P., Murray, A., & Leather, H. (2018). Compiler fuzzing through deep learning. In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. https:\/\/doi.org\/10.1145\/3213846.3213848","DOI":"10.1145\/3213846.3213848"},{"key":"9673_CR15","doi-asserted-by":"publisher","unstructured":"Even-Mendoza, K., Cadar, C., Donaldson, A.F.: Csmithedge: More effective compiler testing by handling undefined behaviour less conservatively. Empirical Software Engineering,,27(6). https:\/\/doi.org\/10.1007\/s10664-022-10146-1","DOI":"10.1007\/s10664-022-10146-1"},{"key":"9673_CR16","doi-asserted-by":"publisher","unstructured":"Gao, Z., Jiang, L., Xia, X., Lo, D., & Grundy, J. (2021). Checking smart contracts with structural code embedding. IEEE Transactions on Software Engineering, pp. 2874\u20132891. https:\/\/doi.org\/10.1109\/tse.2020.2971482","DOI":"10.1109\/tse.2020.2971482"},{"key":"9673_CR17","unstructured":"Holler, C., Herzig, K., & Zeller, A. (2012). Fuzzing with code fragments. In: 21st USENIX Security Symposium (USENIX Security 12), pp. 445\u2013458. USENIX Association, Bellevue, WA. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler"},{"key":"9673_CR18","unstructured":"HyungSeok, H., DongHyeon, O., & Kil, C. S. (2019). Codealchemist: Semantics-aware code generation to find vulnerabilities in javascript engines. In: Network and Distributed Systems Security (NDSS) Symposium 2019, San Diego, USA, pp. 1\u201315. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler"},{"key":"9673_CR19","doi-asserted-by":"publisher","unstructured":"Jiang, B., Wang, X., Chan, W. K., Tse, T. H., Li, N., Yin, Y., & Zhang, Z. (2020). Cudasmith: A fuzzer for cuda compilers. In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 861\u2013871. https:\/\/doi.org\/10.1109\/COMPSAC48688.2020.0-156","DOI":"10.1109\/COMPSAC48688.2020.0-156"},{"key":"9673_CR20","unstructured":"Lee, S., Han, H., Cha, S.K., Son, S.: Montage: A neural network language Model-Guided JavaScript engine fuzzer. In: 29th USENIX Security Symposium (USENIX Security 20), pp. 2613\u20132630. USENIX Association, ???. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/lee-suyoung"},{"key":"9673_CR21","doi-asserted-by":"publisher","unstructured":"Lidbury, C., Lascu, A., Chong, N., & Donaldson, A. F. (2015). Many-core compiler fuzzing. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI \u201915, pp. 65\u201376. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/2737924.2737986","DOI":"10.1145\/2737924.2737986"},{"key":"9673_CR22","unstructured":"List of Known Bugs. (2023). List of Known Bugs. https:\/\/docs.soliditylang.org\/en\/latest\/bugs.html. Accessed 23 Nov 2023."},{"issue":"01","key":"9673_CR23","doi-asserted-by":"publisher","first-page":"1044","DOI":"10.1609\/aaai.v33i01.33011044","volume":"33","author":"X Liu","year":"2019","unstructured":"Liu, X., Li, X., Prajapati, R., & Wu, D. (2019). Deepfuzz: Automatic generation of syntax valid c programs for fuzz testing. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 1044\u20131051. https:\/\/doi.org\/10.1609\/aaai.v33i01.33011044","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"9673_CR24","doi-asserted-by":"publisher","unstructured":"Livinskii, V., Babokin, D., & Regehr, J. (2020). Random testing for c and c++ compilers with yarpgen. Proceeding ACM on Programming Languages,4(OOPSLA). https:\/\/doi.org\/10.1145\/3428264","DOI":"10.1145\/3428264"},{"issue":"1","key":"9673_CR25","first-page":"1","volume":"1","author":"H Ma","year":"2023","unstructured":"Ma, H. (2023). A survey of modern compiler fuzzing. IEEE Transactions on Sustainable Computing, 1(1), 1\u201325.","journal-title":"IEEE Transactions on Sustainable Computing"},{"key":"9673_CR26","doi-asserted-by":"publisher","unstructured":"Mallissery, S., & Wu, Y. -S. (2023) Demystify the fuzzing methods: A comprehensive survey. ACM Computing Surveys,56(3). https:\/\/doi.org\/10.1145\/3623375","DOI":"10.1145\/3623375"},{"issue":"11","key":"9673_CR27","doi-asserted-by":"publisher","first-page":"2312","DOI":"10.1109\/TSE.2019.2946563","volume":"47","author":"VJM Man\u00e8s","year":"2021","unstructured":"Man\u00e8s, V. J. M., Han, H., Han, C., Cha, S. K., Egele, M., Schwartz, E. J., & Woo, M. (2021). The art, science, and engineering of fuzzing: A survey. IEEE Transactions on Software Engineering, 47(11), 2312\u20132331. https:\/\/doi.org\/10.1109\/TSE.2019.2946563","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9673_CR28","unstructured":"McKeeman, M. W. (1998). Differential testing for software. Digital Technical Journal,10(1)."},{"key":"9673_CR29","unstructured":"Rebert, A., Cha, S. K., Avgerinos, T., Foote, J., Warren, D., Grieco, G., & Brumley, D. (2014). Optimizing seed selection for fuzzing. In: 23rd USENIX Security Symposium (USENIX Security 14), pp. 861\u2013875. USENIX Association, San Diego, CA. https:\/\/www.usenix.org\/conference\/usenixsecurity14\/technical-sessions\/presentation\/rebert"},{"key":"9673_CR30","unstructured":"Samuel, G., Simon, K., Lukas, B., Thorsten, H., & Martin, J. (2023). Fuzzilli: Fuzzing for javascript jit compiler vulnerabilities. In: Network and Distributed Systems Security (NDSS) Symposium 2019, San Diego, USA, pp. 1\u201317. https:\/\/www.usenix.org\/conference\/usenixsecurity12\/technical-sessions\/presentation\/holler"},{"issue":"11","key":"9673_CR31","doi-asserted-by":"publisher","first-page":"2673","DOI":"10.1109\/78.650093","volume":"45","author":"M Schuster","year":"1997","unstructured":"Schuster, M., & Paliwal, K. K. (1997). Bidirectional recurrent neural networks. IEEE Trans on Signal Process., 45(11), 2673\u20132681.","journal-title":"IEEE Trans on Signal Process."},{"issue":"11","key":"9673_CR32","doi-asserted-by":"publisher","first-page":"4411","DOI":"10.1109\/TSE.2021.3119186","volume":"48","author":"Y Tang","year":"2022","unstructured":"Tang, Y., Jiang, H., Zhou, Z., Li, X., Ren, Z., & Kong, W. (2022). Detecting compiler warning defects via diversity-guided program mutation. IEEE Transactions on Software Engineering, 48(11), 4411\u20134432. https:\/\/doi.org\/10.1109\/TSE.2021.3119186","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9673_CR33","unstructured":"The Optimizer. (2023). The Optimizer. https:\/\/docs.soliditylang.org\/en\/latest\/internals\/optimizer. Accessed Nov. 23rd, 2023."},{"key":"9673_CR34","doi-asserted-by":"publisher","unstructured":"Tian, Z., Tian, J., Wang, Z., Chen, Y., Xia, H., & Chen, L. (2022). Landscape estimation of solidity version usage on ethereum via version identification. International Journal of Intelligent Systems, pp. 450\u2013477. https:\/\/doi.org\/10.1002\/int.22633","DOI":"10.1002\/int.22633"},{"key":"9673_CR35","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A., Kaiser, L., & Polosukhin, I. (2017). Attention is all you need. Neural Information Processing Systems."},{"key":"9673_CR36","doi-asserted-by":"publisher","unstructured":"Wang, J., Chen, B., Wei, L., & Liu, Y. (2019). Superion: Grammar-aware greybox fuzzing. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 724\u2013735. https:\/\/doi.org\/10.1109\/ICSE.2019.00081","DOI":"10.1109\/ICSE.2019.00081"},{"key":"9673_CR37","unstructured":"Wang, J., Zhang, Z., Liu, S., Du, X., & Chen, J. (2023). FuzzJIT: Oracle-Enhanced fuzzing for JavaScript engine JIT compiler. In: 32nd USENIX Security Symposium (USENIX Security 23), pp. 1865\u20131882. USENIX Association, Anaheim, CA. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/wang-junjie"},{"issue":"4","key":"9673_CR38","doi-asserted-by":"publisher","first-page":"2980","DOI":"10.1109\/TSE.2023.3237123","volume":"49","author":"Y Wang","year":"2023","unstructured":"Wang, Y., Li, K., Tang, Y., Chen, J., Zhang, Q., Luo, X., & Chen, T. (2023). Towards saving blockchain fees via secure and cost-effective batching of smart-contract invocations. IEEE Transactions on Software Engineering, 49(4), 2980\u20132995. https:\/\/doi.org\/10.1109\/TSE.2023.3237123","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9673_CR39","doi-asserted-by":"publisher","unstructured":"Xu, H., Wang, Y., Fan, S., Xie, P., & Liu, A. (2020). Dsmith: Compiler fuzzing through generative deep learning model with attention. In: 2020 International Joint Conference on Neural Networks (IJCNN), pp. 1\u20139. https:\/\/doi.org\/10.1109\/IJCNN48605.2020.9206911","DOI":"10.1109\/IJCNN48605.2020.9206911"},{"issue":"6","key":"9673_CR40","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. (2011). Finding and understanding bugs in c compilers. SIGPLAN Not., 46(6), 283\u2013294. https:\/\/doi.org\/10.1145\/1993316.1993532","journal-title":"SIGPLAN Not."},{"key":"9673_CR41","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Wang, Z., Chen, J., Liu, M., Wu, M., Zhang, Y., & Zhang, L. (2022). History-driven test program synthesis for jvm testing. In: Proceedings of the 44th International Conference on Software Engineering. ICSE \u201922, pp. 1133\u20131144. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3510003.3510059","DOI":"10.1145\/3510003.3510059"},{"issue":"2","key":"9673_CR42","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/TSUSC.2022.3221444","volume":"8","author":"Z Zhao","year":"2023","unstructured":"Zhao, Z., Li, J., Su, Z., & Wang, Y. (2023). Gasaver: A static analysis tool for saving gas. IEEE Transactions on Sustainable Computing, 8(2), 257\u2013267. https:\/\/doi.org\/10.1109\/TSUSC.2022.3221444","journal-title":"IEEE Transactions on Sustainable Computing"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09673-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-024-09673-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09673-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T05:18:10Z","timestamp":1718860690000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-024-09673-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,23]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["9673"],"URL":"https:\/\/doi.org\/10.1007\/s11219-024-09673-5","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-3924118\/v1","asserted-by":"object"}]},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,23]]},"assertion":[{"value":"8 April 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}