Using dynamic analysis to discover polynomial and array invariants.

ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest

Browse the full ICSE paper archive.