smart contracts

Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference
Search-based test case generation approaches make use of static type information to determine which data types should be used for the …
Dimitri Stallenberg, Mitchell Olsthoorn, Annibale Panichella
PDF Project
Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts
Transaction-reverting statements are key constructs within Solidity that are extensively used for authority and validity checks. …
Mitchell Olsthoorn, Arie van Deursen, Annibale Panichella
PDF Cite Project
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
Ethereum is the largest and most prominent smart contract platform. One key property of Ethereum is that once a contract is deployed, …
Mitchell Olsthoorn, Dimitri Stallenberg, Arie van Deursen, Annibale Panichella
PDF Cite Project