ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest. Using dynamic analysis to generate disjunctive invariants. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 608-619, ACM, 2014. [doi]
Abstract is missing.