Year |
Citation |
Score |
2014 |
Zaccai D, Tagore A, Hoffman D, Kirschenbaum J, Bainazarov Z, Friedman HM, Pearl DK, Weide BW. Syrus: Providing practice problems in discrete mathematics with instant feedback Sigcse 2014 - Proceedings of the 45th Acm Technical Symposium On Computer Science Education. 61-66. DOI: 10.1145/2538862.2538929 |
0.523 |
|
2014 |
Hoffman D, Tagore A, Zaccai D, Weide BW. Providing early warnings of specification problems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8430: 92-97. DOI: 10.1007/978-3-319-06200-6_7 |
0.649 |
|
2013 |
Kulczycki G, Sitaraman M, Krone J, Hollingsworth JE, Ogden WF, Weide BW, Bucci P, Cook CT, Drachova-Strang SV, Durkee B, Harton H, Heym W, Hoffman D, Smith H, Sun YS, ... Tagore A, et al. A language for building verified software components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7925: 308-314. DOI: 10.1007/978-3-642-38977-1_23 |
0.574 |
|
2013 |
Tagore A, Weide BW. Automatically detecting inconsistencies in program specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 261-275. DOI: 10.1007/978-3-642-38088-4_18 |
0.57 |
|
2012 |
Tagore A, Zaccai D, Weide BW. Automatically proving thousands of verification conditions using an SMT solver: An empirical study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7226: 195-209. DOI: 10.1007/978-3-642-28891-3_20 |
0.621 |
|
2010 |
Bronish D, Kirschenbaum J, Tagore A. A benchmark- and competition-based approach to software engineering research Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 43-45. DOI: 10.1145/1882362.1882372 |
0.529 |
|
Show low-probability matches. |