{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T16:08:20Z","timestamp":1773590900804,"version":"3.50.1"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Spanish Government\u2019s Ministry of Economy and Competitiveness through the Guided Solutions for the Systematization of Early Quality Assurance in Software Engineering (POLOLAS) Project","award":["TIN2016-76956-C3-2-R"],"award-info":[{"award-number":["TIN2016-76956-C3-2-R"]}]},{"name":"Andalusian Regional Ministry of Economy, Knowledge, Business and University through the Trop@ Project","award":["CEI-12-TIC021"],"award-info":[{"award-number":["CEI-12-TIC021"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3021502","type":"journal-article","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T22:23:00Z","timestamp":1599171780000},"page":"164556-164569","source":"Crossref","is-referenced-by-count":44,"title":["Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9102-6836","authenticated-orcid":false,"given":"Nicolas","family":"Sanchez-Gomez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7786-5841","authenticated-orcid":false,"given":"Jesus","family":"Torres-Valderrama","sequence":"additional","affiliation":[]},{"given":"J. A.","family":"Garcia-Garcia","sequence":"additional","affiliation":[]},{"given":"Javier J.","family":"Gutierrez","sequence":"additional","affiliation":[]},{"given":"M. J.","family":"Escalona","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.14569\/IJACSA.2019.0100581"},{"key":"ref72","first-page":"973","article-title":"A systematic literature review of blockchain technology in agriculture","author":"yadav","year":"2019","journal-title":"Proc Int Conf Ind Eng Oper Manage"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.02.002"},{"key":"ref70","first-page":"35","article-title":"Challenges in model-driven software engineering","author":"van der straeten","year":"2008","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-14802-7_17"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2914675"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94478-4_7"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/I2CT.2018.8529728"},{"key":"ref32","first-page":"11","article-title":"Blockchain implementation quality challenges: A literature review","author":"koteska","year":"2017","journal-title":"Proc 6th Workshop Softw Qual Anal Monitor Improvement Appl (SQAMIA)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.03.006"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.07.010"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2017.26"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1201\/9781439834367"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/InfoTech.2019.8860872"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/PlatCon.2019.8669419"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0176210"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768819080164"},{"key":"ref61","first-page":"321","article-title":"Smart contract development, adoption and challenges: The powered blockchain","volume":"4","author":"sheikh","year":"2019","journal-title":"Journal of Advanced Science and Engineering Research"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s11623-017-0819-7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.24032\/ijeacs\/0102\/05"},{"key":"ref64","first-page":"913","article-title":"The latest adoption blockchain technology in supply chain management: A systematic literature review","volume":"13","author":"surjandy","year":"2019","journal-title":"ICIC Exp Lett"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO.2016.7784973"},{"key":"ref65","first-page":"229","article-title":"The development of smart contracts for heterogeneous blockchains","author":"syahputra","year":"2019","journal-title":"Enterprise Interoperability V"},{"key":"ref66","author":"szabo","year":"1994","journal-title":"Smart Contracts"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2017.8011213"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2900643"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1051\/matecconf\/201820000020"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2019.00028"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/23738871.2017.1400084"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_32"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2994291.2994303"},{"key":"ref22","article-title":"Technical tool surveys and comparative studies: A systematical approach","author":"escalona","year":"2014","journal-title":"23rd Int Conf Inf Syst Develop (ISD CROATIA)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.27"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1370731.1370738"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56608-5_80"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_6"},{"key":"ref25","author":"grigg","year":"2015","journal-title":"On the intersection of Ricardian and smart contracts"},{"key":"ref50","article-title":"Empirical vulnerability analysis of automated smart contracts security testing on blockchains","author":"parizi","year":"2018","journal-title":"arXiv 1809 02702"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.13052\/jwe1540-9589.1925"},{"key":"ref58","first-page":"328","article-title":"Managing the development of large software systems: Concepts and techniques","author":"royce","year":"1987","journal-title":"Proc 9th IEEE Int Conf on Software Engineering"},{"key":"ref57","first-page":"1","article-title":"A detailed study of software development life cycle (SDLC) models","volume":"6","author":"barjtya","year":"2017","journal-title":"International Journal of Computational Engineering Science"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"ref55","article-title":"Literature review on blockchain with focus on supply chain","author":"pranto","year":"2019","journal-title":"Proc 19th Conf Portuguese Assoc Inf Syst (CAPSI)"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"ref53","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-34614-9","author":"pohl","year":"2012","journal-title":"Model-Based Engineering of Embedded Systems The SPES 2020 Methodology"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.14236\/ewic\/EASE2008.8"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"338","DOI":"10.69554\/XYVT7035","article-title":"Smart contract templates: Legal semantics and code validation","volume":"2","author":"clack","year":"2018","journal-title":"Journal of Digital Banking"},{"key":"ref11","article-title":"Smart contract templates: Essential requirements and design options","author":"clack","year":"2016","journal-title":"arXiv 1612 04496"},{"key":"ref40","first-page":"3","article-title":"Why model-driven engineering fits the needs for blockchain application development","author":"lu","year":"2018","journal-title":"Proc IEEE Blockchain Tech Briefs"},{"key":"ref12","article-title":"Smart contract templates: Foundations, design landscape and research directions","author":"clack","year":"2016","journal-title":"arXiv 1608 00771"},{"key":"ref13","first-page":"158","volume":"303","author":"cockbum","year":"2001","journal-title":"Writing Effective Use Cases"},{"key":"ref14","first-page":"111","article-title":"Model-driven test engineering: A practical analysis in the AQUA-WS project","author":"cutilla","year":"2012","journal-title":"Proceedings 7th Int Conf on Software Paradigm Trends ICSOFT"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.04.004"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69459-7_26"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50316-1_15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2019.1627439"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2650"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3209281.3209317"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCBB.2018.8756390"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-803773-7.00003-6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20050061"},{"key":"ref8","article-title":"A next-generation smart contract and decentralized application platform","volume":"3","author":"buterin","year":"2014","journal-title":"Ethereum White Paper"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2809866"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECONF48371.2020.9078541"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_11"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2010.08.006"},{"key":"ref47","article-title":"Blockchain enabled smart contract based applications: Deficiencies with the software development life cycle models","author":"miraz","year":"2020","journal-title":"arXiv 2001 10589"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920776"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.tele.2018.10.004"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3290621.3290627"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09186040.pdf?arnumber=9186040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T04:47:35Z","timestamp":1723524455000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9186040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3021502","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}