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 …

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 …

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 …

Evolutionary testing has been widely studied as a technique for automating the process of
test case generation. However, to date, there has been no theoretical examination of when …

There has been a considerable body of work on search-based test data generation for
branch coverage. However, hitherto, there has been no work on multi-objective branch …

Any nontrivial program contains some errors in the source code. These “bugs” are annoying
for users if they lead to application crashes and data loss, and they are worrisome if they …

Greybox fuzzing has been the most scalable and practical approach to software testing.
Most greybox fuzzing tools are coverage guided as code coverage is strongly correlated …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

Context Model-based testing (MBT) aims to generate executable test cases from behavioral
models of software systems. MBT gains interest in industry and academia due to its …