Fewer Slices of PIE: Optimising Mutation Testing via Abduction

  title={Fewer Slices of PIE: Optimising Mutation Testing via Abduction},
  author={Tim Menzies and Christoph C. Michael},
A repeated observation is that test probes rapidly saturatethe 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 J yields little more information than randomly generated probes 1; 2; ::I , (I < J). The runtimes of HT0 were observed… CONTINUE READING

Figures and Topics from this paper.


Publications referenced by this paper.

On the uniformity of error propagation in software

  • C. C. Michael
  • In Proceedings of the 12th Annual Confererence on…
  • 1997
2 Excerpts

Reliability of rule-based systems.IEEE Software, pages 76–82

  • A. Avritzer, J. P. Ros, E. J. Weyuker
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…