Aditi Tagore

According to our database1, Aditi Tagore authored at least 6 papers between 2010 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Syrus: providing practice problems in discrete mathematics with instant feedback.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Providing Early Warnings of Specification Problems.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013
Automatically Detecting Inconsistencies in Program Specifications.
Proceedings of the NASA Formal Methods, 2013


2012
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.
Proceedings of the NASA Formal Methods, 2012

2010
A benchmark- and competition-based approach to software engineering research.
Proceedings of the Workshop on Future of Software Engineering Research, 2010


  Loading...