P Hartel,
R Schumi - International conference on tests and proofs, 2020 - Springer
It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even
small bugs in smart contracts can lead to huge monetary losses. However, testing is not …