In business or mission-critical environments, the presence of software bugs in a blockchain system is a problem that can bring severe consequences to the business or mission itself, impairing its dependability [1]}. This is aggravated by the fact that, in some cases, the programming languages used for writing the contracts are not mainstream languages (e.g., Solidity) and developers may lack the necessary expertise, leading to the deployment of contracts holding residual bugs.
