Ashok Sreenivas

According to our database, Ashok Sreenivas authored at least 5 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

The dependence condition graph: Precise conditions for dependence between program points.

Srihari Sukumaran, Ashok Sreenivas, Ravindra Metta

Comput. Lang. Syst. Struct., 2010

2006

A Rigorous Approach to Requirements Validation.

Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Identifying Test Conditions for Software Maintenance.

Srihari Sukumaran, Ashok Sreenivas

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

2002

Panel discussion: is ISSTA testing research relevant to industrial users?

Ashok Sreenivas

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Meta-Modelling for Formal Software Development.

Ashok Sreenivas, R. Venkatesh, Mathai Joseph

Proceedings of the Computing: The Australasian Theory Symposium, 2001