Regression testing is a testing activity that is performed to provide confidence that changes
do not harm the existing behaviour of the software. Test suites tend to grow in size as …

Logs are semi-structured text generated by logging statements in software source code. In
recent decades, software logs have become imperative in the reliability assurance …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

Key establishment in sensor networks is a challenging problem because asymmetric key
cryptosystems are unsuitable for use in resource constrained sensor nodes, and also …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon
invariant detector reports likely program invariants. An invariant is a property that holds at a …

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 …

Software development and maintenance are costly endeavors. The cost can be reduced if
more software defects are detected earlier in the development cycle. This paper introduces …

A test oracle determines whether a test execution reveals a fault, often by comparing the
observed program output to the expected output. This is not always practical, for example …