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 …

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 …

In regulated domain such as aerospace and in safety critical domains, software quality
assurance is subject to strict regulation such as the RTCA DO-178B standard. Among other …

Evolutionary testing is an approach to automating test data generation that uses an
evolutionary algorithm to search a test object's input domain for test data. Nested predicates …

The techniques for the automatic generation of test cases try to efficiently find a small set of
cases that allow a given adequacy criterion to be fulfilled, thus contributing to a reduction in …

Vulnerable statements constitute a major problem for developers and maintainers of
networking systems. Their presence can ease the success of security attacks, aimed at …

Testability transformations are source-to-source program transformations that are designed
to improve the testability of a program. This paper introduces a novel approach in which …

A dependence cluster is a set of program statements, all of which are mutually inter-
dependent. This article reports a large scale empirical study of dependence clusters in C …

Java exception mechanism can effectively free a program from abnormal exits and help
developers locate faults with the exception tracing stacks. It is necessary to verify whether …