| Evaluation of string constraint solvers in the context of symbolic execution S Kausler, E Sherman Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 41 | 2014 |
| Saturation-based testing of concurrent programs E Sherman, MB Dwyer, S Elbaum Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 38 | 2009 |
| Structurally defined conditional data-flow static analysis E Sherman, MB Dwyer Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 11 | 2018 |
| Formal specification and verification of user-centric privacy policies for ubiquitous systems R Joshaghani, S Black, E Sherman, H Mehrpouyan Proceedings of the 23rd International Database Applications & Engineering …, 2019 | 9 | 2019 |
| Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques D Vengertsev, E Sherman SafeAI Workshop, 2020 | 7 | 2020 |
| Accurate String Constraints Solution Counting with Weighted Automata E Sherman, A Harris 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 5 | 2019 |
| Exploiting domain and program structure to synthesize efficient and precise data flow analyses (T) E Sherman, MB Dwyer 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 5 | 2015 |
| Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis E Sherman, BJ Garvin, MB Dwyer ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-33, 2015 | 4 | 2015 |
| Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain J Lloyd, E Sherman ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015 | 4 | 2015 |
| A slice-based decision procedure for type-based partial orders E Sherman, BJ Garvin, MB Dwyer Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 4 | 2010 |
| Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS) E Sherman, R Dyer Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 2 | 2018 |
| Redesigning Soot's data-flow analysis framework for abstract interpretation E Sherman Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 78-84, 2018 | 2 | 2018 |
| PAClab: a program analysis collaboratory R Brunner, R Dyer, M Paquin, E Sherman Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 1 | 2020 |
| User-defined backtracking criteria for symbolic execution S Kausler, E Sherman ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014 | 1 | 2014 |
| State coverage for the dynamic analysis of concurrent programs E Sherman University of Nebraska--Lincoln, 2008 | 1 | 2008 |
| Identifying Minimal Changes in the Zone Abstract Domain K Ballou, E Sherman arXiv preprint arXiv:2304.14550, 2023 | | 2023 |
| The Java Pathfinder Workshop 2022 E Sherman, Y Noller, C Artho, F van Breugel, A Nanah Ji, J Kellerman, ... ACM SIGSOFT Software Engineering Notes 48 (1), 19-21, 2023 | | 2023 |
| Incremental Transitive Closure for Zonal Abstract Domain K Ballou, E Sherman NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022 | | 2022 |
| The Java Pathfinder Workshop 2019 C Artho, QS Phan, P Aldous, A Almaawi, L Bang, L Berglund, T Bultan, ... ACM SIGSOFT Software Engineering Notes 45 (2), 20-22, 2020 | | 2020 |
| Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations M Paquin, E Sherman, A Jain ACM SIGSOFT Software Engineering Notes 43 (4), 55-55, 2019 | | 2019 |
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
