The use of metaheuristic search techniques for the automatic generation of test data has
been a burgeoning interest for many researchers in recent years. Previous attempts to …

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 …

This paper claims that a new field of software engineering research and practice is
emerging: search-based software engineering. The paper argues that software engineering …

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 …

Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

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 …

Automated unit test generation techniques traditionally follow one of two goals: Either they
try to find violations of automated oracles (eg, assertions, contracts, undeclared exceptions) …

Fault-based testing is often advocated to overcome limitations ofother testing approaches;
however it is also recognized as beingexpensive. On the other hand, evolutionary …

This paper presents a tabu search metaheuristic algorithm for the automatic generation of
structural software tests. It is a novel work since tabu search is applied to the automation of …

Safety-critical systems are those whose failure can lead to injury or loss of life. Software is
becoming increasingly relied upon for the safe and correct operation of such systems …