{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:17:12Z","timestamp":1743056232880,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031212284"},{"type":"electronic","value":"9783031212291"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-21229-1_25","type":"book-chapter","created":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T13:20:28Z","timestamp":1673097628000},"page":"269-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Smart Contract Quality by Introducing a Continuous Integration Pipeline for Solidity Based Smart Contracts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6308-5924","authenticated-orcid":false,"given":"Hauke","family":"Precht","sequence":"first","affiliation":[]},{"given":"Florian","family":"Schwarm","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Marx G\u00f3mez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,1,8]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Correas, J., Gordillo, P., Rom\u00e1n-D\u00edez, G., Rubio, A.: Safevm: a safety verifier for ethereum smart contracts. In: Zhang, D., M\u00f8ller, A. (eds.) Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis-ISSTA 2019, pp. 386\u2013389. ACM Press, New York, USA (2019). 10.1145\/3293882.3338999","DOI":"10.1145\/3293882.3338999"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Bai, X., Cheng, Z., Duan, Z., Hu, K.: Formal modeling and verification of smart contracts. In: Unknown (ed.) Proceedings of the 2018 7th International Conference on Software and Computer Applications-ICSCA 2018, pp. 322\u2013326. ACM Press, New York, USA (2018). 10.1145\/3185089.3185138","DOI":"10.1145\/3185089.3185138"},{"key":"25_CR3","unstructured":"Beer, N.: Whitepaper why and how to test smart contract. https:\/\/q-leap.eu\/wp-content\/uploads\/2018\/10\/Why-and-How-to-test-Smart-Contracts-Whitepaper-q-leap-1.pdf (2018). Accessed 29 Apr 2022"},{"issue":"2","key":"25_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s12083-020-00991-6","volume":"5","author":"A Bhardwaj","year":"2020","unstructured":"Bhardwaj, A., Shah, S.B.H., Shankar, A., Alazab, M., Kumar, M., Gadekallu, T.R.: Penetration testing framework for smart contract blockchain. Peer-to-Peer Netw. Appl. 5(2), 303 (2020). https:\/\/doi.org\/10.1007\/s12083-020-00991-6","journal-title":"Peer-to-Peer Netw. Appl."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Swamy, N., Zanella-B\u00e9guelin, S., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T.: Formal verification of smart contracts. In: Murray, T., Stefan, D. (eds.) Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS\u201916, pp. 91\u201396, ACM Press, New York, USA (2016). 10.1145\/2993600.2993611","DOI":"10.1145\/2993600.2993611"},{"issue":"1","key":"25_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/2723872.2723882","volume":"49","author":"C Boettiger","year":"2015","unstructured":"Boettiger, C.: An introduction to docker for reproducible research. ACM SIGOPS Oper. Syst. Rev. 49(1), 71\u201379 (2015). https:\/\/doi.org\/10.1145\/2723872.2723882","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"25_CR7","unstructured":"Bosu, A., Iqbal, A., Shahriyar, R., Chakroborty, P.: Understanding the motivations, challenges and needs of blockchain software developers: a survey. Empirical Software Engineering (2019). http:\/\/arxiv.org\/pdf\/1811.04169v2"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Bragagnolo, S., Rocha, H., Denker, M., Ducasse, S.: Smartinspect: solidity smart contract inspector. In: 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), pp. 9\u201318, IEEE (20032018\u201320032018). 10.1109\/IWBOSE.2018.8327566","DOI":"10.1109\/IWBOSE.2018.8327566"},{"key":"25_CR9","unstructured":"Camilletti, N.B.: Continuous integration for smart contracts | by nicol\u00e1s bello camilletti|southworks|medium. https:\/\/medium.com\/southworks\/continuous-integration-for-smart-contracts-4a8b78d387c (2019). Accessed 18 July 2021"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Chepurnoy, A., Rathee, M.: Checking laws of the blockchain with property-based testing. In: 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE), pp. 40\u201347. IEEE (20032018\u201320032018). 10.1109\/IWBOSE.2018.8327570","DOI":"10.1109\/IWBOSE.2018.8327570"},{"issue":"6","key":"25_CR11","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"SR Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A metrics suite for object oriented design. IEEE Trans. Softw. Eng. 20(6), 476\u2013493 (1994). https:\/\/doi.org\/10.1109\/32.295895","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Choudhury, O., Rudolph, N., Sylla, I., Fairoza, N., Das, A.: Auto-generation of smart contracts from domain-specific ontologies and semantic rules. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 963\u2013970. IEEE (30072018\u2013 03082018). 10.1109\/Cybermatics_2018.2018.00183","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"key":"25_CR13","unstructured":"Cryptopedia Staff: What was the dao (2017). https:\/\/www.gemini.com\/cryptopedia\/the-dao-hack-makerdao"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Di Angelo, M., Salzer, G.: A survey of tools for analyzing ethereum smart contracts. In: 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), pp. 69\u201378. IEEE (04042019\u201309042019). 10.1109\/DAPPCON.2019.00018","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"25_CR15","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. pp. 8\u201315 (2019). 10.1109\/WETSEB.2019.00008. http:\/\/arxiv.org\/pdf\/1908.09878v1"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215. IEEE (12092016\u201316092016). 10.1109\/FAS-W.2016.53","DOI":"10.1109\/FAS-W.2016.53"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Gao, J.: Guided, automated testing of blockchain-based decentralized applications. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 138\u2013140. IEEE (25052019\u201331052019). 10.1109\/ICSE-Companion.2019.00059","DOI":"10.1109\/ICSE-Companion.2019.00059"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Gao, J., Liu, H., Liu, C., Li, Q., Guan, Z., Chen, Z.: Easyflow: keep ethereum away from overflow. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), pp. 23\u201326. IEEE (25052019\u201331052019). 10.1109\/ICSE-Companion.2019.00029","DOI":"10.1109\/ICSE-Companion.2019.00029"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Garamvolgyi, P., Kocsis, I., Gehl, B., Klenik, A.: Towards model-driven engineering of smart contracts for cyber-physical systems. In: 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 134\u2013139. IEEE (25062018\u201328062018). 10.1109\/DSN-W.2018.00052","DOI":"10.1109\/DSN-W.2018.00052"},{"key":"25_CR20","unstructured":"GitHub: sc-forks\/solidity-coverage. https:\/\/github.com\/sc-forks\/solidity-coverage (13072021). Accessed 13 July 2021"},{"key":"25_CR21","unstructured":"GitLab: Simplify your workflow with gitlab. https:\/\/about.gitlab.com\/stages-devops-lifecycle\/. Accessed 07 July 2021"},{"key":"25_CR22","unstructured":"GitLab: Run your ci\/cd jobs in docker containers. https:\/\/docs.gitlab.com\/ee\/ci\/docker\/using_docker_images.html (2021). Accessed 30 Aug 2021"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Grech, N., Kong, M., Jurisevic, A., Brent, L., Scholz, B., Smaragdakis, Y.: Madmax: surviving out-of-gas conditions in ethereum smart contracts. Proc. ACM Program. Lang. 2(OOPSLA), 1\u201327 (2018). 10.1145\/3276486","DOI":"10.1145\/3276486"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Gregor, S., Hevner, A.R.: Positioning and presenting design science research for maximum impact. MIS Q. 37(2), 337\u2013355 (2013). 10.25300\/MISQ\/2013\/37.2.01","DOI":"10.25300\/MISQ\/2013\/37.2.01"},{"key":"25_CR25","unstructured":"Hardhat: overview (2022). https:\/\/hardhat.org\/getting-started"},{"key":"25_CR26","unstructured":"Harz, D., Knottenbelt, W.: Towards safer smart contracts: a survey of languages and verification methods. http:\/\/arxiv.org\/pdf\/1809.09805v4"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Heged\u0171s, P.: Towards analyzing the complexity landscape of solidity based ethereum smart contracts. In: Tonelli, R., Destefanis, G., Counsell, S., Marchesi, M. (eds.) Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain-WETSEB \u201918, pp. 35\u201339. ACM Press, New York, USA (2018). 10.1145\/3194113.3194119","DOI":"10.1145\/3194113.3194119"},{"issue":"1","key":"25_CR28","doi-asserted-by":"publisher","first-page":"75","DOI":"10.2307\/25148625","volume":"28","author":"AR Hevner","year":"2004","unstructured":"Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Q. 28(1), 75\u2013105 (2004)","journal-title":"MIS Q."},{"key":"25_CR29","unstructured":"Inc., C.S.: Truffle suite. https:\/\/github.com\/trufflesuite (13072021). Accessed 13 July 2021"},{"key":"25_CR30","unstructured":"Jenkins: Distributed builds-jenkins-jenkins wiki. https:\/\/wiki.jenkins.io\/display\/jenkins\/distributed+builds. Accessed 07 July 2021"},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: Zeus: Analyzing safety of smart contracts. In: Traynor, P., Oprea, A. (eds.) Proceedings 2018 Network and Distributed System Security Symposium. Internet Society, Reston, VA (February 18-21, 2018). 10.14722\/ndss.2018.23082","DOI":"10.14722\/ndss.2018.23082"},{"key":"25_CR32","doi-asserted-by":"crossref","unstructured":"Kirillov, D., Iakushkin, O., Korkhov, V., Petrunin, V.: Evaluation of tools for analyzing smart contracts in distributed ledger technologies. In: Misra, S., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Torre, C., Rocha, A.M.A., Taniar, D., Apduhan, B.O., Tarantino, E. (eds.) Computational Science and Its Applications \u2013 ICCSA 2019, Lecture Notes in Computer Science, vol. 11620, pp. 522\u2013536. Springer International Publishing, Cham (2019). 10.1007\/978-3-030-24296-1_41","DOI":"10.1007\/978-3-030-24296-1_41"},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"Koul, R.: Blockchain oriented software testing-challenges and approaches. In: 2018 3rd International Conference for Convergence in Technology (I2CT), pp.\u00a01\u20136. IEEE, Piscataway, NJ (2018). 10.1109\/I2CT.2018.8529728","DOI":"10.1109\/I2CT.2018.8529728"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Liao, C.F., Cheng, C.J., Chen, K., Lai, C.H., Chiu, T., Wu-Lee, C.: Toward a service platform for developing smart contracts on blockchain in bdd and tdd styles. In: 2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA), pp. 133\u2013140. IEEE (22112017\u201325112017). 10.1109\/SOCA.2017.26","DOI":"10.1109\/SOCA.2017.26"},{"key":"25_CR35","doi-asserted-by":"crossref","unstructured":"Mavridou, A., Laszka, A.: Tool demonstration: Fsolidm for designing secure ethereum smart contracts. In: Bauer, L., K\u00fcsters, R. (eds.) Principles of Security and Trust. Lecture Notes in Computer Science, vol. 10804, pp. 270\u2013277. Springer International Publishing, Cham (2018). 10.1007\/978-3-319-89722-6_11","DOI":"10.1007\/978-3-319-89722-6_11"},{"key":"25_CR36","doi-asserted-by":"crossref","unstructured":"Park, D., Zhang, Y., Saxena, M., Daian, P., Ro\u015fu, G.: A formal verification tool for ethereum vm bytecode. In: Leavens, G.T., Garcia, A., P\u0103s\u0103reanu, C.S. (eds.) Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering-ESEC\/FSE 2018, pp. 912\u2013915. ACM Press, New York, USA (2018). 10.1145\/3236024.3264591","DOI":"10.1145\/3236024.3264591"},{"key":"25_CR37","unstructured":"Peterson, B.: The amount of ether frozen in digital wallets is worth \\$162 million\u2014which is less than initially feared (2017). https:\/\/www.businessinsider.com\/ethereum-price-parity-hack-bug-fork-2017-11"},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Porru, S., Pinna, A., Marchesi, M., Tonelli, R.: Blockchain-oriented software engineering: Challenges and new directions. In: 2017 IEEE\/ACM 39th International Conference on Software Engineering companion, pp. 169\u2013171. IEEE, Piscataway, NJ (2017). 10.1109\/ICSE-C.2017.142","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"25_CR39","doi-asserted-by":"publisher","first-page":"24416","DOI":"10.1109\/ACCESS.2020.2970495","volume":"8","author":"S Sayeed","year":"2020","unstructured":"Sayeed, S., Marco-Gisbert, H., Caira, T.: Smart contract: attacks and protections. IEEE Access 8, 24416\u201324427 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2970495","journal-title":"IEEE Access"},{"key":"25_CR40","unstructured":"Szabo, N.: Smart contracts: Building blocks for digital markets (1996). http:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart_contracts_2.html"},{"key":"25_CR41","doi-asserted-by":"crossref","unstructured":"Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., Alexandrov, Y.: Smartcheck:\u00a0static analysis of ethereum smart contracts. In: Tonelli, R., Destefanis, G., Counsell, S., Marchesi, M. (eds.) Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain-WETSEB \u201918, pp. 9\u201316. ACM Press, New York, USA (2018). 10.1145\/3194113.3194115","DOI":"10.1145\/3194113.3194115"},{"key":"25_CR42","unstructured":"Truffle: Truffle dashboard. https:\/\/www.trufflesuite.com\/dashboard. Accessed 13 July 2021"},{"key":"25_CR43","unstructured":"Tsankov, P., Dan, A., Cohen, D.D., Gervais, A., Buenzli, F., Vechev, M.: Securify: practical security analysis of smart contracts. http:\/\/arxiv.org\/pdf\/1806.01143v2"},{"key":"25_CR44","unstructured":"Waffle: Waffle documentation (2022). https:\/\/ethereum-waffle.readthedocs.io\/en\/latest\/"},{"key":"25_CR45","unstructured":"Wang, Y., Lahiri, S.K., Chen, S., Pan, R., Dillig, I., Born, C., Naseer, I.: Formal specification and verification of smart contracts for azure blockchain. http:\/\/arxiv.org\/pdf\/1812.08829v2"},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Wohrer, M., Zdun, U.: Devops for ethereum blockchain smart contracts. In: 2021 IEEE International Conference on Blockchain (Blockchain), pp. 244\u2013251. IEEE (2021). 10.1109\/Blockchain53845.2021.00040","DOI":"10.1109\/Blockchain53845.2021.00040"}],"container-title":["Lecture Notes in Networks and Systems","Blockchain and Applications, 4th International Congress"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21229-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T14:36:42Z","timestamp":1673275002000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21229-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031212284","9783031212291"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21229-1_25","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BLOCKCHAIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Congress on Blockchain and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"L\u00b4Aquila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"blockchain2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.blockchain-congress.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}