Search-Based Software Testing

Search-based Crash Reproduction using Behavioral Model Seeding (journal first)

Search-based crash reproduction approaches assist developers during debugging by generating a test case, which reproduces a crash given its stack trace. One of the fundamental steps of this approach is creating objects needed to trigger the crash. …

JUnit Testing Tool Competition

The JUnit Testing Tool Competition is held at the SBST workshop co-located with ICSE. The contest's infrastructure (JUGE) has been developed and used in testing contests during yearly events since 2013.

Crash reproduction difficulty, an initial assessment

This study presents the initial step towards a thorough analysis of the difficulty to reproduce a crash using search-based crash reproduction. Traditionally, code size and complexity are considered representative indicators of the difficulty for …

SSBSE 2020 Best Paper Award

Last Thursday (08/10/2020), we received a best paper award for our paper entitled It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction. In this paper, we revisit the approach level and branch distance heuristics widely used for white-box test generation.

Commonality-Driven Unit Test Generation

Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite several advances made over the years, …

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, representing usages of the classes of the software under test. These models are used during the search-process to …

Commonality-Driven Unit Test Generation

Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite several advances made over the years, …

It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction

Search-based techniques have been widely used for white-box test generation. Many of these approaches rely on the approach level and branch distance heuristics to guide the search process and generate test cases with high line and branch coverage. …

Botsing, a Search-based Crash Reproduction Framework for Java

Approaches for automatic crash reproduction aim to generate test cases that reproduce crashes starting from the crash stack traces. These tests help developers during their debugging practices. One of the most promising techniques in this research …

Botsing, a Search-based Crash Reproduction Framework for Java

Approaches for automatic crash reproduction aim to generate test cases that reproduce crashes starting from the crash stack traces. These tests help developers during their debugging practices. One of the most promising techniques in this research …