Fault Seeding

Testing Smart Contracts: Which Technique Performs Best?
Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. A key challenge …
Sefa Akca, Chao Peng, Ajitha Rajan
PDF Cite DOI
SolAnalyser: A Framework for Analysing and Testing Smart Contracts

Executing, verifying and enforcing credible transactions on permissionless blockchains is done using smart contracts. Smart contracts …
Sefa Akca, Ajitha Rajan, Chao Peng
PDF Cite DOI