PRECIS: Inferring invariants using program path guided clustering. - Parth Sagdeo; Viraj Athavale; Sumant Kowshik; Shobha Vasudevan (ASE, 2011)

Using automatically generated invariants for regression testing and bug localization. - Parth Sagdeo; Nicholas Ewalt; Debjit Pal; Shobha Vasudevan (ASE, 2013)