DEMINER generates and runs various mutants of a target program with T so that some mutant executions cover unreached lines of p as the mutation turns a program state to a new one leading to the unreached lines by chance. DEMINER uses all the generated mutants to discover the coverage-increasing mutants.
Oct 28, 2019
Oct 28, 2019 · This paper proposes DEMINER, a new test generation technique that utilizes mutant executions to guide test generation for high test coverage ...
An effective approach based on control flow constraint solving to test coverage profilers and a coverage bug hunting tool, DOG, are proposed and implemented ...
This paper proposes a new test generation technique DEMINER, which utilizes mutant executions to guide test generation on the original program for high test ...
This paper proposes a new test generation technique DEMINER, which utilizes mutant executions to guide test generation on the original program for high test ...
This paper proposes a new test generation technique <jats:sc>DEMINER</jats:sc>, which utilizes mutant executions to guide test generation on the original ...
Hong, DeMiner: Test Generation for High Test Coverage through Mutant Exploration, Software Testing, Verification and Reliability (STVR), Volume 31, Issue 1 ...
People also ask
What is mutant in mutation testing?
What is test case generation?
What is test strength in mutation testing?
What is the difference between strong and weak mutation testing?
DEMINER: test generation for high test coverage through mutant exploration. Y Kim, S Hong. Software Testing, Verification and Reliability 31 (1-2), e1715, 2021.
This paper proposes a new test generation technique DEMINER, which utilizes mutant executions to guide test generation... My Articles. Add to my articles list
DEMINER: test generation for high test coverage through mutant exploration ... test generation framework for high test coverage and ...