Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Mutation testing is a porful testing technique: a program is seeded with artificial faults and tested. Undetected faults can be used to improve the test bench. The problem of automatically generating test cases from undetected faults is typically not addressed by existing mutation testing systems.  propose a symbolic procedure, namely Sym BMC, for the generation of test cases from a given program using Bounded Model Checking (BMC) techniques. The Sym BMC procedure determines a test bench, that detects all seeded faults affecting the semantics of the program, with respect to a given unrolling bound.  have built a prototype tool that uses a Satisfiability Modulo Theories (SMT) solver to generate test cases and  show initial results for ANSI-C benchmark programs.
['Heinz Riener', 'Roderick Bloem', 'Görschwin Fey']
I am writing a research paper on a idea Test Case Generation from Mutants Using Model Checking Techniques
[{"from": "human", "value": "I am writing a research paper on a idea Test Case Generation from Mutants Using Model Checking Techniques"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Mutation testing is a porful testing technique: a program is seeded with artificial faults and tested. Undetected faults can be used to improve the test bench. The problem of automatically generating test cases from undetected faults is typically not addressed by existing mutation testing systems.  propose a symbolic procedure, namely Sym BMC, for the generation of test cases from a given program using Bounded Model Checking (BMC) techniques. The Sym BMC procedure determines a test bench, that detects all seeded faults affecting the semantics of the program, with respect to a given unrolling bound.  have built a prototype tool that uses a Satisfiability Modulo Theories (SMT) solver to generate test cases and  show initial results for ANSI-C benchmark programs."}]