Ashok Sreenivas

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Srihari Sukumaran, Ashok Sreenivas, Ravindra Metta
The dependence condition graph: Precise conditions for dependence between program points. Comput. Lang. Syst. Struct. 36 (1) (2010)
Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh
A Rigorous Approach to Requirements Validation. SEFM (2006)
Srihari Sukumaran, Ashok Sreenivas
Identifying Test Conditions for Software Maintenance. CSMR (2005)
Ashok Sreenivas
Panel discussion: is ISSTA testing research relevant to industrial users? ISSTA (2002)
Ashok Sreenivas, R. Venkatesh, Mathai Joseph
Meta-Modelling for Formal Software Development. Electron. Notes Theor. Comput. Sci. 42 (2001)