Im currently trying to evaluate two different test tools (SpecExplorer vs Quviq Quickcheck) with regards to how many bugs they find in my code. The plan i have is to insert some faults in my code and evaluate how long it takes the tools to find the faults and how many they find. I want the method to be easy and manual but still be a valid method. I have been looking into fault injection but to my understanding fault injection is an automatic process requiring advanved tools.
So my question is what are well estamblished methods for compairing testing tools?