Error explanation and fault localization with distance metrics
Alex David Groce, Edmund Clarke · 2005
contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the sponsoring institutions, the U.S. Government or any other entity.