how does this compare to delta debugging[1]?<p>[1] <a href="https:&#x2F;&#x2F;www.st.cs.uni-saarland.de&#x2F;papers&#x2F;tse2002&#x2F;tse2002.pdf" rel="nofollow">https:&#x2F;&#x2F;www.st.cs.uni-saarland.de&#x2F;papers&#x2F;tse2002&#x2F;tse2002.pdf</a>