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 application of metaheuristic search techniques to
generate software tests. The test adequacy criterion is transformed into a fitness function and …

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 …

In this paper, we review the work applying computational evolutionary methods in software
engineering, especially in software testing. Testing is both technically and economically vital …

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 …

Automated software test generation has been applied across the spectrum of test case
design methods; this includes white-box (structural), black-box (functional), greybox …

\Living organism are consummate problem solvers. They exhibit a versatility that puts the
best computer programs to shame." John H. Holland 1] The material of this bibliography has …

This paper presents an efficient best-effort approach for simulation-based timing analysis of
complex real-time systems. The method can handle in principle any software design that can …

Cars, trains, trucks, telecom networks and industrial robots are examples of products relying
on complex embedded software systems, running on embedded computers. Such systems …

In this work we have studied the feasibility of program testing automation by using
optimization via genetic algorithm. The main objective of the study is to nd potentially …