Home
Publications
Contact
Light
Dark
Automatic
Test Case Generation
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
Hybrid Multi-level Crossover for Unit Test Case Generation
State-of-the-art search-based approaches for test case generation work at test case level, where tests are represented as sequences of …
Mitchell Olsthoorn
,
Pouria Derakhshanfar
,
Annibale Panichella
PDF
Cite
Code
Dataset
Project
Slides
DOI
Improving Test Case Generation for REST APIs Through Hierarchical Clustering
With the ever-increasing use of web APIs in modernday applications, it is becoming more important to test the system as a whole. In the …
Dimitri Stallenberg
,
Mitchell Olsthoorn
,
Annibale Panichella
PDF
Cite
Project
DOI
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
Cite
×