Fewer Slices of PIE: Optimising Mutation Testing via Abduction
Tim Menzies, Christoph C. Michael · 1999
A repeated observation is that test probesrapidly saturate the search space within software: i.e. many probes of software yield only slightly more information than a few probes. HT0 is a software test engine that assumes rapid saturation. Instead of exploring all probes, randomly different probes are explored one at a time. Probe exploration halts when randomly generated probe yields little more information than randomly generated probes , ( ). The runtimes of HT0 were observed to be , at least for the theories studies here.