Modeling and Analyzing the Interaction of C and C++ Strings. - Gogul Balakrishnan; Naoto Maeda; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta; Rakesh Pothengil (FoVeOOS, 2011)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)