2011 Fourth IEEE International Conference on Software Testing, Verification and Validation 2011
DOI: 10.1109/icst.2011.40
|View full text |Cite
|
Sign up to set email alerts
|

On the Improvement of the Mutation Score Using Distinguishing Test Cases

Abstract: Software testing, i.e., discovering software failures through test case execution, plays a crucial role in the software development process. A high quality software must have a strong test suite. Therefore it is of high importance for a software to evaluate the test suite that is asserting its correctness. Mutation testing is one efficient method to evaluate the process of software testing, i.e., the quality of the test suite.The current research focuses on mutation testing as a metric that can be used not onl… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2013
2013
2023
2023

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(1 citation statement)
references
References 9 publications
0
1
0
Order By: Relevance
“…Thus, the mutant killing problem is converted to a constraint satisfaction problem [170]. Wotawa et al [174] and Nica [175] proposed formulating the original and mutant programs (one pair at a time) as a constraint system and use solvers to search for a solution that makes the two programs differ by at least one output value. Kurtz et al [169] adopted the same strategy in order to identify subsuming mutants.…”
Section: Static Constraint-based Test Generationmentioning
confidence: 99%
“…Thus, the mutant killing problem is converted to a constraint satisfaction problem [170]. Wotawa et al [174] and Nica [175] proposed formulating the original and mutant programs (one pair at a time) as a constraint system and use solvers to search for a solution that makes the two programs differ by at least one output value. Kurtz et al [169] adopted the same strategy in order to identify subsuming mutants.…”
Section: Static Constraint-based Test Generationmentioning
confidence: 99%