We stand with Ukraine  

Ashok Sreenivas

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2010
The dependence condition graph: Precise conditions for dependence between program points.
[BibTeX]
[DOI]
Srihari Sukumaran
,
Ashok Sreenivas
,
Ravindra Metta
Comput. Lang. Syst. Struct., 2010

2006
A Rigorous Approach to Requirements Validation.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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?
[BibTeX]
[DOI]
Ashok Sreenivas
Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001
Meta-Modelling for Formal Software Development.
[BibTeX]
[DOI]
Ashok Sreenivas
,
R. Venkatesh
,
Mathai Joseph
Proceedings of the Computing: The Australasian Theory Symposium, 2001


  Loading...