{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:35Z","timestamp":1776305015995,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,14]],"date-time":"2022-06-14T00:00:00Z","timestamp":1655164800000},"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":[[2022,6,14]]},"DOI":"10.1145\/3520313.3534658","type":"proceedings-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T20:46:24Z","timestamp":1654807584000},"page":"23-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Ensuring determinism in blockchain software with GoLiSA: an industrial experience report"],"prefix":"10.1145","author":[{"given":"Luca","family":"Olivieri","sequence":"first","affiliation":[{"name":"University of Verona, Italy \/ Corvallis, Italy"}]},{"given":"Fabio","family":"Tagliaferro","sequence":"additional","affiliation":[{"name":"University of Verona, Italy \/ Commercio.network, Italy"}]},{"given":"Vincenzo","family":"Arceri","sequence":"additional","affiliation":[{"name":"University of Parma, Italy"}]},{"given":"Marco","family":"Ruaro","sequence":"additional","affiliation":[{"name":"Commercio.network, Italy"}]},{"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Italy \/ Corvallis, Italy"}]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Italy"}]},{"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Italy"}]},{"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[{"name":"University of Verona, Italy"}]},{"given":"Enrico","family":"Talin","sequence":"additional","affiliation":[{"name":"Commercio.network, Italy"}]}],"member":"320","published-online":{"date-parts":[[2022,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Christopher Allen. 2016. The Path to Self-Sovereign Identity.  http:\/\/www.lifewithalacrity.com\/2016\/04\/the-path-to-self-soverereign-identity.html  Christopher Allen. 2016. The Path to Self-Sovereign Identity.  http:\/\/www.lifewithalacrity.com\/2016\/04\/the-path-to-self-soverereign-identity.html"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09708-7"},{"key":"e_1_3_2_1_3_1","unstructured":"Ethan Buchman. 2016. Tendermint: Byzantine fault tolerance in the age of blockchains. Ph.D. Dissertation. University of Guelph.  Ethan Buchman. 2016. Tendermint: Byzantine fault tolerance in the age of blockchains. Ph.D. Dissertation. University of Guelph."},{"key":"e_1_3_2_1_4_1","unstructured":"Commercio.network. 2022. Commercio.network - White Paper.  https:\/\/commercio.network\/project\/  Commercio.network. 2022. Commercio.network - White Paper.  https:\/\/commercio.network\/project\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.04.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1984.10019"},{"key":"e_1_3_2_1_12_1","unstructured":"J. Kwon and E. Buchman. 2019. Cosmos whitepaper.  https:\/\/v1.cosmos.network\/resources\/whitepaper  J. Kwon and E. Buchman. 2019. Cosmos whitepaper.  https:\/\/v1.cosmos.network\/resources\/whitepaper"},{"key":"e_1_3_2_1_13_1","first-page":"101","article-title":"Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models","volume":"33","author":"Miraz Maaruf Ali","year":"2020","unstructured":"Maaruf Ali Mahdi H. Miraz . 2020 . Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models . Baltica Journal , 33 (2020), 101 \u2013 116 . issn:0067-3064 Maaruf Ali Mahdi H. Miraz. 2020. Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models. Baltica Journal, 33 (2020), 101\u2013116. issn:0067-3064","journal-title":"Baltica Journal"},{"key":"e_1_3_2_1_14_1","unstructured":"NIST. 2021. CVE-2021-41135 Detail.  https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2021-41135  NIST. 2021. CVE-2021-41135 Detail.  https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2021-41135"},{"key":"e_1_3_2_1_15_1","unstructured":"Nathaniel Popper. 2016. A Hacking of More Than $50 Million Dashes Hopes in the World of Virtual Currency. The New York Times https:\/\/www.nytimes.com\/2016\/06\/18\/business\/dealbook\/hacker-may-have-removed-more-than-50-million-from-experimental-cybercurrency-project.html  Nathaniel Popper. 2016. A Hacking of More Than $50 Million Dashes Hopes in the World of Virtual Currency. The New York Times https:\/\/www.nytimes.com\/2016\/06\/18\/business\/dealbook\/hacker-may-have-removed-more-than-50-million-from-experimental-cybercurrency-project.html"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"e_1_3_2_1_17_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger.  https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A secure decentralised generalised transaction ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"}],"event":{"name":"SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","location":"San Diego CA USA","acronym":"SOAP '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520313.3534658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520313.3534658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:31Z","timestamp":1750183771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520313.3534658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,14]]},"references-count":17,"alternative-id":["10.1145\/3520313.3534658","10.1145\/3520313"],"URL":"https:\/\/doi.org\/10.1145\/3520313.3534658","relation":{},"subject":[],"published":{"date-parts":[[2022,6,14]]},"assertion":[{"value":"2022-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}