Annibale Panichella
Annibale Panichella
Home
Projects
Tools
Publications
Teaching
Contact
Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts
Mitchell Olsthoorn
,
Arie van Deursen
,
Annibale Panichella
June 2022
Preprint
Code
Project
Type
Conference paper
Publication
The 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022)
Test Case Generation
Fuzzing
Smart Contracts
Search-based Software Engineering
Related
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
Generating Class-Level Integration Tests Using Call Site Information
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
Guess What: Test Case Generation for Javascript with Unsupervised Probabilistic Type Inference
Crash Reproduction Using Helper Objectives
Cite
×