TY - JOUR
T1 - Differentiators and detectors
AU - Mili, Ali
N1 - Funding Information:
The author is grateful to Dr Donghwan Shin for feedback on queries about his and his team's work. He is also very grateful to the anonymous reviewers for their valuable feedback and suggestions. This work is supported by US NSF under grant number DGE1565478 .
Publisher Copyright:
© 2021 Elsevier B.V.
PY - 2021/8
Y1 - 2021/8
N2 - 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.
AB - 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.
KW - Failure detector
KW - Mutation testing
KW - Program correctness
KW - Test differentiator
UR - http://www.scopus.com/inward/record.url?scp=85101842638&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85101842638&partnerID=8YFLogxK
U2 - 10.1016/j.ipl.2021.106111
DO - 10.1016/j.ipl.2021.106111
M3 - Article
AN - SCOPUS:85101842638
SN - 0020-0190
VL - 169
JO - Information Processing Letters
JF - Information Processing Letters
M1 - 106111
ER -