Our paper on invariant mining for debugging programs in ASE 2013

Parth Sagdeo et al’s paper “Using Automatically Generated Invariants for Regression Testing and Bug Localization” introduces a novel bug localization methodology with PREAMBL, a predicate clustering and invariant guided tool. Invariants from PRECIS in ASE 2011 are used for software regression testing as well.

Leave a Reply