SYNERGY: a new algorithm for property checking. - Bhargav S. Gulavani; Thomas A. Henzinger; Yamini Kannan; Aditya V. Nori; Sriram K. Rajamani (SIGSOFT FSE, 2006)

Universal symbolic execution and its application to likely data structure invariant generation. - Yamini Kannan; Koushik Sen (ISSTA, 2008)