SuMo
SuMo (Solidity Mutator) is a mutation-testing framework designed…
A Mapping Methodology for Object-Centric Process Mining on Blockchain Applications
The mapping methodology enables object-centric process mining on…
Looseness for Choreography-based SoftwareArchitectures on Blockchain
LooseChain supports the modelling and execution of loosely…
CoBlock: a Domain-Specific Language for Compliance Checking on Smart Contract Execution Data
CoBlock is a Domain-Specific Language (DSL) for defining…
The Object-Centric Compliance Checking tool
The Object-Centric Compliance Checking tool (The O.(C.)3) is…
