Interests
- Search-Based Software Testing
- Model-Based Testing
- Mutation Testing
- Variability Modeling
- Software Product Line Testing
Latest
- SERG talk: JUGE, An Infrastructure for Benchmarking Java Unit Test Generators
- Experience report on soft and project skills building through repetition
- Summary of Search-based Crash Reproduction using Behavioral Model Seeding
- An Application of Model Seeding to Search-Based Unit Test Generation for Gson
- SERG talk: Test them all, is it worth it? Testing variability-intensive software systems
- A benchmark-based evaluation of search-based crash reproduction
- An Application of Model Seeding to Search-Based Unit Test Generation for Gson
- Botsing, a search-based crash reproduction framework for Java
- Commonality-Driven Unit Test Generation
- Crash reproduction difficulty, an initial assessment
- Crash reproduction using helper objectives
- Good things come in threes: improving search-based crash reproduction with helper objectives
- It Is Not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction
- Java Unit Testing Tool Competition: Eighth Round
- MALTESQUE 2019 Workshop Summary
- Pandemic programming: how COVID-19 affects software developers and how their organizations can help (2020)
- Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI'19)
- Search-based crash reproduction using behavioural model seeding
- A decade of featured transition systems
- Abscon: a test concretizer for model-based testing
- Effective and efficient API misuse detection via exception propagation and search-based testing
- Java unit testing tool competition-seventh round
- Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
- Towards automated test case generation maturity
- Uniform sampling of sat solutions for configurable systems: Are we there yet?
- Model-based mutant equivalence detection using automata language equivalence and simulations
- Single-objective versus multi-objectivized optimization for evolutionary crash reproduction
- Welcome Message from the General Chairs A-MOST 2018