CISELab
CISELab
People
Publications
Arie van Deursen
Latest
Generating Class-Level Integration Tests Using Call Site Information
Guiding Automated Test Case Generation for Transaction-Reverting Statements in Smart Contracts
SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
PropR: Property-Based Automatic Program Repair
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
Botsing, a Search-based Crash Reproduction Framework for Java
Crash Reproduction Using Helper Objectives
Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing
Search-Based Crash Reproduction and Its Impact on Debugging
Single-objective versus Multi-Objectivized Optimization for Evolutionary Crash Reproduction
Search-Based Test Data Generation for SQL Queries
Cite
×