{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:27:38Z","timestamp":1762342058897,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031311079"},{"type":"electronic","value":"9783031311086"}],"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-31108-6_7","type":"book-chapter","created":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T12:19:23Z","timestamp":1684153163000},"page":"85-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards a\u00a0Dynamic Testing Approach for\u00a0Checking the\u00a0Correctness of\u00a0Ethereum Smart Contracts"],"prefix":"10.1007","author":[{"given":"Mohamed Amin","family":"Hammami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariam","family":"Lahami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Afef Jmal","family":"Ma\u00e2lej","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,14]]},"reference":[{"key":"7_CR1","unstructured":"Blockchain platform: Ethereum. https:\/\/ethereum.org\/en\/. Accessed Mar 2022"},{"key":"7_CR2","unstructured":"Blockchain platform: Hyperledger. https:\/\/www.hyperledger.org\/. Accessed Mar 2022"},{"key":"7_CR3","unstructured":"Solidity examples. https:\/\/docs.soliditylang.org\/en\/v0.5.11\/solidity-by-example.html. Accessed Mar 2022"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Abbas, A., Alroobaea, R., Krichen, M., Rubaiee, S., Vimal, S., Almansour, F.M.: Blockchain-assisted secured data management framework for health information analysis based on internet of medical things, pp. 1\u201314. Personal and Ubiquitous Computing (2021)","DOI":"10.1007\/s00779-021-01583-8"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Akca, S., Rajan, A., Peng, C.: Solanalyser: a framework for analysing and testing smart contracts. In: Proceeding of the 26th Asia-Pacific Software Engineering Conference (APSEC), pp. 482\u2013489 (2019)","DOI":"10.1109\/APSEC48747.2019.00071"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1676","DOI":"10.1109\/COMST.2018.2886932","volume":"21","author":"MS Ali","year":"2018","unstructured":"Ali, M.S., Vecchio, M., Pincheira, M., Dolui, K., Antonelli, F., Rehmani, M.H.: Applications of blockchains in the internet of things: a comprehensive survey. IEEE Commun. Surv. Tutor. 21(2), 1676\u20131717 (2018)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Andesta, E., Faghih, F., Fooladgar, M.: Testing smart contracts gets smarter. In: Proceeding of the 10th International Conference on Computer and Knowledge Engineering (ICCKE 2020), pp. 405\u2013412 (2020)","DOI":"10.1109\/ICCKE50421.2020.9303670"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Proceeding of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures, vol. 3185, pp. 200\u2013237 (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Chan, W., Jiang, B.: Fuse: an architecture for smart contract fuzz testing service. In: Proceeding of The 25th Asia-Pacific Software Engineering Conference (APSEC), pp. 707\u2013708 (2018)","DOI":"10.1109\/APSEC.2018.00099"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-030-51517-1_23","volume-title":"The Impact of Digital Technologies on Public Health in Developed and Developing Countries","author":"R Ben Fekih","year":"2020","unstructured":"Ben Fekih, R., Lahami, M.: Application of blockchain technology in healthcare: a comprehensive study. In: Jmaiel, M., Mokhtari, M., Abdulrazak, B., Aloulou, H., Kallel, S. (eds.) ICOST 2020. LNCS, vol. 12157, pp. 268\u2013276. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51517-1_23"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fekih, R.B., Lahami, M., Jmaiel, M., Ali, A.B., Genestier, P.: Towards model checking approach for smart contract validation in the EIP-1559 ethereum. In: Proceeding of the 46th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2022, Los Alamitos, CA, USA, pp. 83\u201388. IEEE (2022)","DOI":"10.1109\/COMPSAC54236.2022.00020"},{"key":"7_CR12","unstructured":"Feng, X., Wang, Q., Zhu, X., Wen, S.: Bug searching in smart contract. CoRR abs\/1905.00799 (2019)"},{"issue":"6","key":"7_CR13","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1109\/32.87281","volume":"17","author":"R Freedman","year":"1991","unstructured":"Freedman, R.: Testability of software components. IEEE Trans. Software Eng. 17(6), 553\u2013564 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Gao, J., et al.: Towards automated testing of blockchain-based decentralized applications. In: Proceeding of IEEE\/ACM 27th International Conference on Program Comprehension (ICPC), pp. 294\u2013299 (2019)","DOI":"10.1109\/ICPC.2019.00048"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-030-50995-8_2","volume-title":"Tests and Proofs","author":"P Hartel","year":"2020","unstructured":"Hartel, P., Schumi, R.: Mutation testing of smart contracts at scale. In: Ahrendt, W., Wehrheim, H. (eds.) TAP 2020. LNCS, vol. 12165, pp. 23\u201342. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50995-8_2"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using uppaal. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing, pp. 77\u2013117 (2008)","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.procs.2020.11.009","volume":"178","author":"Y Ivanova","year":"2020","unstructured":"Ivanova, Y., Khritankov, A.: Regularmutator: a mutation testing tool for solidity smart contracts. Procedia Comput. Sci. 178, 75\u201383 (2020)","journal-title":"Procedia Comput. Sci."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"20995","DOI":"10.1109\/ACCESS.2022.3149958","volume":"10","author":"R Jabbar","year":"2022","unstructured":"Jabbar, R., et al.: Blockchain technology for intelligent transportation systems: a systematic literature review. IEEE Access 10, 20995\u201321031 (2022)","journal-title":"IEEE Access"},{"key":"7_CR19","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, pp. 259\u2013269 (2018)","DOI":"10.1145\/3238147.3238177"},{"key":"7_CR20","unstructured":"Kakadiya, A.: Block-chain oriented software testing approach. Int. Res. J. Eng. Technol. (IRJET) (2017)"},{"issue":"14","key":"7_CR21","doi-asserted-by":"publisher","first-page":"5274","DOI":"10.3390\/s22145274","volume":"22","author":"M Krichen","year":"2022","unstructured":"Krichen, M., Ammi, M., Mihoub, A., Almutiq, M.: Blockchain for modern applications: a survey. Sensors 22(14), 5274 (2022)","journal-title":"Sensors"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Lahami, M., Ma\u00e2lej, A.J., Krichen, M., Hammami, M.A.: A comprehensive review of testing blockchain oriented software. In: Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25\u201326, 2022, pp. 355\u2013362. SCITEPRESS (2022)","DOI":"10.5220\/0011042800003176"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Li, Z., Wu, H., Xu, J., Wang, X., Zhang, L., Chen, Z.: MUSC: a tool for mutation testing of ethereum smart contract. In: Proceeding of the 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2019), pp. 1198\u20131201 (2019)","DOI":"10.1109\/ASE.2019.00136"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Liu, Y., Li, Y., Lin, S.W., Yan, Q.: MODCON: a model-based testing platform for smart contracts. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1601\u20131605 (2020)","DOI":"10.1145\/3368089.3417939"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the ACM SIGSAC Conference on Computer and Communications Security, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"7_CR26","unstructured":"Mars, R., Youssouf, J., Cheikhrouhou, S., Turki, M.: Towards a blockchain-based approach to fight drugs counterfeit. In: Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, pp. 197\u2013208 (2021)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Mense, A., Flatscher, M.: Security vulnerabilities in ethereum smart contracts. In: Proceedings of the 20th International Conference on Information Integration and Web-Based Applications & Services, pp. 375\u2013380 (2018)","DOI":"10.1145\/3282373.3282419"},{"key":"7_CR28","unstructured":"Nakamoto, S., et al.: Bitcoin: a peer-to-peer electronic cash system (2008)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Nguyen, T.D., Pham, L.H., Sun, J., Lin, Y., Minh, Q.T.: Sfuzz: an efficient adaptive fuzzer for solidity smart contracts. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 778\u2013788 (2020)","DOI":"10.1145\/3377811.3380334"},{"key":"7_CR30","unstructured":"Praitheeshan, P., Pan, L., Yu, J., Liu, J.K., Doss, R.: Security analysis methods on ethereum smart contract vulnerabilities: A survey. CoRR abs\/1908.08605 (2019)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez-G\u00f3mez, N., Morales-Trujillo, L., Torres-Valderrama, J.: Towards an approach for applying early testing to smart contracts. In: Proceedings of the 15th International Conference on Web Information Systems and Technologies - APMDWE, pp. 445\u2013453 (2019)","DOI":"10.5220\/0008386000002366"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dan, A., Drachsler-Cohen, D., Gervais, A., B\u00fcnzli, F., Vechev, M.: Securify: practical security analysis of smart contracts. In: Proceeding of the ACM SIGSAC Conference on Computer and Communications Security, pp. 67\u201382 (2018)","DOI":"10.1145\/3243734.3243780"},{"key":"7_CR33","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc. (2006)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Wang, X., Wu, H., Sun, W., Zhao, Y.: Towards generating cost-effective test-suite for ethereum smart contract. In: Proceeding of the IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 549\u2013553 (2019)","DOI":"10.1109\/SANER.2019.8668020"},{"issue":"2014","key":"7_CR35","first-page":"1","volume":"151","author":"G Wood","year":"2014","unstructured":"Wood, G., et al.: Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151(2014), 1\u201332 (2014)","journal-title":"Ethereum project yellow paper"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Wu, Z., et al.: Kaya: a testing framework for blockchain-based decentralized applications. In: Proceeding of the IEEE International Conference on Software Maintenance and Evolution (ICSME 2020), pp. 826\u2013829 (2020)","DOI":"10.1109\/ICSME46990.2020.00103"}],"container-title":["Lecture Notes in Computer Science","Risks and Security of Internet and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-31108-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T12:20:23Z","timestamp":1684153223000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-31108-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031311079","9783031311086"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-31108-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CRiSIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Risks and Security of Internet and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sousse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","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":"7 December 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"crisis2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","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":"39","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":"14","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":"4","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":"36% - 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":"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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}