Yamini Kannan

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Yamini Kannan, Koushik Sen
Universal symbolic execution and its application to likely data structure invariant generation. ISSTA (2008)
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
SYNERGY: a new algorithm for property checking. SIGSOFT FSE (2006)