Document Open Access Logo

Co-testability Transformation

Author Philip McMinn



PDF
Thumbnail PDF

File

DagSemProc.08351.3.pdf
  • Filesize: 31 kB
  • 2 pages

Document Identifiers

Author Details

Philip McMinn

Cite AsGet BibTex

Philip McMinn. Co-testability Transformation. In Evolutionary Test Generation. Dagstuhl Seminar Proceedings, Volume 8351, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.08351.3

Abstract

This paper introduces the notion of ‘co-testability transformation’. As opposed to traditional testability transformations, which replace the original program in testing, co-testability transformations are designed to be used in conjunction with the original program (and any additional co-transformations as well). Until now, testability transformations have only been used to improve test data generation. However, co-testability transformations can function as partial oracles. This paper demonstrates practical usage of a co-testability transformation for automatically detecting floating-point errors in program code.
Keywords
  • Search-based testing
  • testability transformation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail