{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:37:37Z","timestamp":1777106257597,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"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":[[2021,7,11]]},"DOI":"10.1145\/3460319.3469078","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:18:43Z","timestamp":1625782723000},"page":"666-669","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["SCStudio: a secure and efficient integrated development environment for smart contracts"],"prefix":"10.1145","author":[{"given":"Meng","family":"Ren","sequence":"first","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fuchen","family":"Ma","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijing","family":"Yin","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huizhong","family":"Li","sequence":"additional","affiliation":[{"name":"WeBank, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Fu","sequence":"additional","affiliation":[{"name":"Ant Financial, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Maher Alharby and Aad Van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372 ( 2017 ).  Maher Alharby and Aad Van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372 ( 2017 ).","DOI":"10.5121\/csit.2017.71011"},{"key":"e_1_3_2_1_2_1","volume-title":"Sutton","author":"Allamanis Miltiadis","year":"2014","unstructured":"Miltiadis Allamanis and Charles A . Sutton . 2014 . Mining idioms from source code. ArXiv abs\/1404.0417 ( 2014 ). Miltiadis Allamanis and Charles A. Sutton. 2014. Mining idioms from source code. ArXiv abs\/1404.0417 ( 2014 )."},{"key":"e_1_3_2_1_3_1","unstructured":"Nicola Atzei Massimo Bartoletti and Tiziana Cimoli. 2016. A survey of attacks on Ethereum smart contracts. IACR Cryptology ePrint Archive 2016 ( 2016 ) 1007.  Nicola Atzei Massimo Bartoletti and Tiziana Cimoli. 2016. A survey of attacks on Ethereum smart contracts. IACR Cryptology ePrint Archive 2016 ( 2016 ) 1007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"e_1_3_2_1_5_1","volume-title":"Vechev","author":"Bielik Pavol","year":"2016","unstructured":"Pavol Bielik , Veselin Raychev , and Martin T . Vechev . 2016 . PHOG : Probabilistic Model for Code. In ICML. Pavol Bielik, Veselin Raychev, and Martin T. Vechev. 2016. PHOG: Probabilistic Model for Code. In ICML."},{"key":"e_1_3_2_1_6_1","unstructured":"ConsenSys. 2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril-classic.  ConsenSys. 2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril-classic."},{"key":"e_1_3_2_1_7_1","volume-title":"Lab: Step by Step towards Programming a Safe Smart Contract. ( 2015 ).","author":"Delmolino Kevin","year":"2015","unstructured":"Kevin Delmolino , Mitchell Arnett , Ahmed Kosba , Andrew Miller , and Elaine Shi . 2015 . Lab: Step by Step towards Programming a Safe Smart Contract. ( 2015 ). Kevin Delmolino, Mitchell Arnett, Ahmed Kosba, Andrew Miller, and Elaine Shi. 2015. Lab: Step by Step towards Programming a Safe Smart Contract. ( 2015 )."},{"key":"e_1_3_2_1_8_1","volume-title":"Empirical Review of Automated Analysis Tools on 47 ,587 Ethereum Smart Contracts. arXiv","author":"Durieux Thomas","year":"1910","unstructured":"Thomas Durieux , Jo\u00e3o F. Ferreira , Rui Abreu , and Pedro Cruz . 2019. Empirical Review of Automated Analysis Tools on 47 ,587 Ethereum Smart Contracts. arXiv : 1910 . 10601 [cs.SE] Thomas Durieux, Jo\u00e3o F. Ferreira, Rui Abreu, and Pedro Cruz. 2019. Empirical Review of Automated Analysis Tools on 47 ,587 Ethereum Smart Contracts. arXiv: 1910. 10601 [cs.SE]"},{"key":"e_1_3_2_1_9_1","unstructured":"Etherscan. 2019. Etherscan. https:\/\/etherscan.io\/.  Etherscan. 2019. Etherscan. https:\/\/etherscan.io\/."},{"key":"e_1_3_2_1_10_1","volume-title":"ICSE","author":"Hindle Abram","year":"2012","unstructured":"Abram Hindle , Earl T. Barr , Zhendong Su , Mark Gabel , and Premkumar T. Devanbu . 2012. On the naturalness of software . In ICSE 2012 . Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, and Premkumar T. Devanbu. 2012. On the naturalness of software. In ICSE 2012."},{"key":"e_1_3_2_1_11_1","unstructured":"Yoichi Hirai. 2016. Formal verification of Deed contract in Ethereum name service. November-2016.[Online]. Available: https:\/\/yoichihirai. com\/deed. pdf ( 2016 ).  Yoichi Hirai. 2016. Formal verification of Deed contract in Ethereum name service. November-2016.[Online]. Available: https:\/\/yoichihirai. com\/deed. pdf ( 2016 )."},{"key":"e_1_3_2_1_12_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In NDSS.","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . ZEUS: Analyzing Safety of Smart Contracts. In NDSS. Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In NDSS."},{"key":"e_1_3_2_1_13_1","unstructured":"Jian Li Yue Wang Michael R. Lyu and Irwin King. 2018. Code Completion with Neural Attention and Pointer Networks. ArXiv abs\/1711.09573 ( 2018 ).  Jian Li Yue Wang Michael R. Lyu and Irwin King. 2018. Code Completion with Neural Attention and Pointer Networks. ArXiv abs\/1711.09573 ( 2018 )."},{"key":"e_1_3_2_1_14_1","unstructured":"Chang Liu Xin Wang Richard Shin Joseph E. Gonzalez and Dawn Song. 2017. Neural Code Completion.  Chang Liu Xin Wang Richard Shin Joseph E. Gonzalez and Dawn Song. 2017. Neural Code Completion."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. 2016. Making Smart Contracts Smarter. IACR Cryptology ePrint Archive 2016 ( 2016 ) 633.  Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. 2016. Making Smart Contracts Smarter. IACR Cryptology ePrint Archive 2016 ( 2016 ) 633.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_16_1","volume-title":"2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 554-558","author":"Ma F.","unstructured":"F. Ma , Y. Fu , M. Ren , M. Wang , Y. Jiang , K. Zhang , H. Li , and X. Shi . 2019. EVM*: From Ofline Detection to Online Reinforcement for Ethereum Virtual Machine . In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 554-558 . F. Ma, Y. Fu, M. Ren, M. Wang, Y. Jiang, K. Zhang, H. Li, and X. Shi. 2019. EVM*: From Ofline Detection to Online Reinforcement for Ethereum Virtual Machine. In 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). 554-558."},{"key":"e_1_3_2_1_17_1","volume-title":"Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/","author":"Nikolic Ivica","year":"1802","unstructured":"Ivica Nikolic , Aashish Kolluri , Ilya Sergey , Prateek Saxena , and Aquinas Hobor . 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/ 1802 .06038 ( 2018 ). Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/ 1802.06038 ( 2018 )."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594321"},{"key":"e_1_3_2_1_19_1","volume-title":"Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. ( 2018 ).","author":"Rodler Michael","year":"2018","unstructured":"Michael Rodler , Wenting Li , Ghassan O Karame , and Lucas Davi . 2018 . Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. ( 2018 ). Michael Rodler, Wenting Li, Ghassan O Karame, and Lucas Davi. 2018. Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. ( 2018 )."},{"key":"e_1_3_2_1_20_1","unstructured":"Armin ronacher. 2010. Flask. https:\/\/flask.palletsprojects. com\/en\/1.1.x\/.  Armin ronacher. 2010. Flask. https:\/\/flask.palletsprojects. com\/en\/1.1.x\/."},{"key":"e_1_3_2_1_21_1","volume-title":"performance, and applications of smart contracts: A systematic survey","author":"Rouhani Sara","year":"2019","unstructured":"Sara Rouhani and Ralph Deters . 2019. Security , performance, and applications of smart contracts: A systematic survey . IEEE Access 7 ( 2019 ), 50759-50779. Sara Rouhani and Ralph Deters. 2019. Security, performance, and applications of smart contracts: A systematic survey. IEEE Access 7 ( 2019 ), 50759-50779."},{"key":"e_1_3_2_1_22_1","unstructured":"smartbugs. 2020. smart contracts dataset. https:\/\/github.com\/smartbugs\/ smartbugs-wild.  smartbugs. 2020. smart contracts dataset. https:\/\/github.com\/smartbugs\/ smartbugs-wild."},{"key":"e_1_3_2_1_23_1","unstructured":"Solidity. 2018. Solidity Programming Language. https:\/\/git.io\/vFA47\/.  Solidity. 2018. Solidity Programming Language. https:\/\/git.io\/vFA47\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_25_1","volume-title":"Securify: Practical Security Analysis of Smart Contracts. In ACM Conference on Computer and Communications Security.","author":"Tsankov Petar","unstructured":"Petar Tsankov , Andrei Marian Dan , Dana Drachsler-Cohen , Arthur Gervais , Florian Buenzli , and Martin T. Vechev . 2018 . Securify: Practical Security Analysis of Smart Contracts. In ACM Conference on Computer and Communications Security. Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin T. Vechev. 2018. Securify: Practical Security Analysis of Smart Contracts. In ACM Conference on Computer and Communications Security."},{"key":"e_1_3_2_1_26_1","unstructured":"Tsinghua University. 2019. Pied-Piper: Revealing the Backdoor Threats in Smart Contracts. https:\/\/github.com\/renardbebe\/BackdoorDetector. 4 ( 21 %) 14 ( 58.3%) 0 ( 0 %) 4 ( 57.1%) 1 ( 50 %) 29 ( 90.6%) 0 ( 0 %) 72 ( 92.3%) 4 ( 57.1%) 128 ( 56.6%) 4 ( 21 %) 17 ( 70.8%) 48 ( 96 %) 4 ( 57.1%) 2 ( 100 %) 29 ( 90.6%) 2 ( 28.6%) 72 ( 92.3%) 7 ( 100 %) 185 ( 81.9%)  Tsinghua University. 2019. Pied-Piper: Revealing the Backdoor Threats in Smart Contracts. https:\/\/github.com\/renardbebe\/BackdoorDetector. 4 ( 21 %) 14 ( 58.3%) 0 ( 0 %) 4 ( 57.1%) 1 ( 50 %) 29 ( 90.6%) 0 ( 0 %) 72 ( 92.3%) 4 ( 57.1%) 128 ( 56.6%) 4 ( 21 %) 17 ( 70.8%) 48 ( 96 %) 4 ( 57.1%) 2 ( 100 %) 29 ( 90.6%) 2 ( 28.6%) 72 ( 92.3%) 7 ( 100 %) 185 ( 81.9%)"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual Denmark","acronym":"ISSTA '21","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3469078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460319.3469078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:36Z","timestamp":1750195476000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460319.3469078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":26,"alternative-id":["10.1145\/3460319.3469078","10.1145\/3460319"],"URL":"https:\/\/doi.org\/10.1145\/3460319.3469078","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}