Fuzzing

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
More Effective Test Case Generation with Multiple Tribes of AI
Software testing is a critical activity in the software development life cycle for quality assurance. Automated Test Case Generation …
Mitchell Olsthoorn
PDF Cite Project
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
Software testing is an important and time-consuming task that is often done manually. In the last decades, researchers have come up …
Mitchell Olsthoorn, Arie van Deursen, Annibale Panichella
PDF Cite Code Dataset Project DOI