Search-based Software Testing

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
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