Co-testability Transformation

Author Philip McMinn

Thumbnail 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)


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.
  • Search-based testing
  • testability transformation


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

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail