Declarative Smart Contract Testing by Domain Experts

Kevin J. Purnell, Rolf Schwitter. Declarative Smart Contract Testing by Domain Experts. In Dörthe Arndt, Ahmet Soylu, Jan Vanthienen, Evgeny Kharlamov, Alexander Steen, editors, Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022. Volume 3229 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Abstract

Abstract is missing.