In the past five years there has been a dramatic increase in work on Search-Based Software
Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based …

Metaheuristic search techniques have been extensively used to automate the process of
generating test cases, and thus providing solutions for a more cost-effective testing process …

This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …

Search-based optimization techniques have been applied to structural software test data
generation since 1992, with a recent upsurge in interest and activity within this area …

This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …

Abstract The aim of Search Based Software Engineering (SBSE) research is to move
software engineering problems from human-based search to machine-based search, using …

In the past five years there has been a dramatic increase in work on Search Based Software
Engineering (SBSE), an approach to software engineering in which search based …

What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

This paper introduces SHOM, a mutation-based test data generation approach that
combines Dynamic Symbolic Execution and Search Based Software Testing. SHOM targets …

In recent years, search-based software testing (SBST) is the active research topic in software
testing. SBST is the process of generating test cases that use metaheuristics for optimization …