Search-Based Failure Discovery using Testability Transformations to Generate Pseudo-Oracles

by Phil McMinn

Genetic and Evolutionary Computation Conference (GECCO 2009)



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 transformations are used to improve testability of a program by generating a pseudo-oracle. A pseudo-oracle is an alternative version of a program under test whose output can be compared with the original. Differences in output between the two programs may indicate a fault in the original program. Two transformations are presented. The first can highlight numerical inaccuracies in programs and cumulative roundoff errors, whilst the second may detect the presence of race conditions in multi-threaded code. ... [more]


Reference

Phil McMinn. Search-Based Failure Discovery using Testability Transformations to Generate Pseudo-Oracles. Genetic and Evolutionary Computation Conference (GECCO 2009), pp. 1689–1696, 2009


Bibtex Entry
@inproceedings{McMinn2009,
  author    = "McMinn, Phil",
  title     = "Search-Based Failure Discovery using Testability Transformations to Generate Pseudo-Oracles",
  booktitle = "Genetic and Evolutionary Computation Conference (GECCO 2009)",
  pages     = "1689--1696",
  year      = "2009",
  publisher = "ACM Press"
}