Search-Based Software Testing is the use of a meta-heuristic optimizing search technique,
such as a Genetic Algorithm, to automate or partially automate a testing task, for example the …

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 …

Test case generation is among the most labour-intensive tasks in software testing. It also has
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …

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 …

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 …

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 …

The automatic test case generation is the principal issue of the software testing activity.
Dynamic symbolic execution appears to be a promising approach to this matter as it has …

We present an algorithm for constructing fitness functions that improve the efficiency of
search-based testing when trying to generate branch adequate test data. The algorithm …

Despite the recent improvements in automatic test case generation, handling complex data
structures as test inputs is still an open problem. Search-based approaches can generate …

High-coverage testing is challenging. Modern object-oriented programs present additional
challenges for testing. One key difficulty is the generation of proper method sequences to …