Follow
Elena Sherman
Elena Sherman
Verified email at boisestate.edu
Title
Cited by
Cited by
Year
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
422014
Saturation-based testing of concurrent programs
E Sherman, MB Dwyer, S Elbaum
Proceedings of the 7th joint meeting of the European software engineering …, 2009
392009
Structurally defined conditional data-flow static analysis
E Sherman, MB Dwyer
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
142018
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
92019
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
82015
Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques
D Vengertsev, E Sherman
SafeAI Workshop, 2020
72020
Accurate String Constraints Solution Counting with Weighted Automata
E Sherman, A Harris
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
52019
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
42015
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
42015
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
42010
Incremental Transitive Closure for Zonal Abstract Domain
K Ballou, E Sherman
NASA Formal Methods Symposium, 800-808, 2022
22022
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
22020
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
22018
Redesigning Soot's data-flow analysis framework for abstract interpretation
E Sherman
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 78-84, 2018
22018
Identifying minimal changes in the zone abstract domain
K Ballou, E Sherman
International Symposium on Theoretical Aspects of Software Engineering, 221-239, 2023
12023
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
12020
User-defined backtracking criteria for symbolic execution
S Kausler, E Sherman
ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014
12014
State coverage for the dynamic analysis of concurrent programs
E Sherman
University of Nebraska--Lincoln, 2008
12008
Confidence Preservation Property in Knowledge Distillation Abstractions
D Vengertsev, E Sherman
International Conference on Innovative Techniques and Applications of …, 2023
2023
Minimally Comparing Relational Abstract Domains
K Ballou, E Sherman
International Symposium on Automated Technology for Verification and …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20