Home
Publications
Contact
Light
Dark
Automatic
1
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
Multi-objective Test Case Selection Through Linkage Learning-driven Crossover
Test case selection (TCS) aims to select a subset of the test suite to run for regression testing. The selection is typically based on …
Mitchell Olsthoorn
,
Annibale Panichella
PDF
Cite
Code
Dataset
Project
Slides
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
An Application of Model Seeding to Search-Based Unit Test Generation for Gson
Model seeding is a strategy for injecting additional information in a search-based test generation process in the form of models, …
Mitchell Olsthoorn
,
Pouria Derakhshanfar
,
Xavier Devroey
PDF
Cite
Code
Dataset
Project
DOI
DevID: Blockchain-based portfolios for software developers
Decentralized applications, also known as dApps, are the new paradigm for writing business-critical software. Recruiting developers …
Martijn de Vos
,
Mitchell Olsthoorn
,
Johan Pouwelse
PDF
Cite
DOI
Cite
×