research
∙
05/08/2021
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Smart Contracts are software programs that are deployed and executed wit...
share
research
∙
02/06/2020
Collaboration vs. choreography conformance in BPMN
The BPMN 2.0 standard is a widely used semi-formal notation to model fro...
research
∙
05/28/2018
