Fewer Slices of PIE: Optimising Mutation Testing via Abduction

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.