Differentiators and detectors
Document Type
Article
Publication Date
8-1-2021
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.
Identifier
85101842638 (Scopus)
Publication Title
Information Processing Letters
External Full Text Location
https://doi.org/10.1016/j.ipl.2021.106111
ISSN
00200190
Volume
169
Grant
DGE1565478
Fund Ref
National Science Foundation
Recommended Citation
Mili, Ali, "Differentiators and detectors" (2021). Faculty Publications. 3893.
https://digitalcommons.njit.edu/fac_pubs/3893
