Using dynamic analysis to generate disjunctive invariants.

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest

Browse the full ICSE paper archive.