Differentiators and detectors

Research output: Contribution to journalArticlepeer-review

Abstract

Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.

Original languageEnglish (US)
Article number106111
JournalInformation Processing Letters
Volume169
DOIs
StatePublished - Aug 2021

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Keywords

  • Failure detector
  • Mutation testing
  • Program correctness
  • Test differentiator

Fingerprint Dive into the research topics of 'Differentiators and detectors'. Together they form a unique fingerprint.

Cite this