Meta-Modelling for Formal Software Development. - Ashok Sreenivas; R. Venkatesh; Mathai Joseph (CATS, 2001)

Panel discussion: is ISSTA testing research relevant to industrial users? - Ashok Sreenivas (ISSTA, 2002)

Identifying Test Conditions for Software Maintenance. - Srihari Sukumaran; Ashok Sreenivas (CSMR, 2005)

A Rigorous Approach to Requirements Validation. - Srihari Sukumaran; Ashok Sreenivas; R. Venkatesh (SEFM, 2006)

The dependence condition graph: Precise conditions for dependence between program points. - Srihari Sukumaran; Ashok Sreenivas; Ravindra Metta (Comput. Lang. Syst. Struct., 2010)