Elena Sherman
Orcid: 0000-0003-4522-9725
According to our database1,
Elena Sherman
authored at least 24 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
2
1
4
1
2
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Proceedings of the Artificial Intelligence XL, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023
2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Recurrent Neural Network Properties and their Verification with Monte Carlo Techniques.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Formal specification and verification of user-centric privacy policies for ubiquitous systems.
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019
2018
ACM SIGSOFT Softw. Eng. Notes, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS).
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018
2017
CoRR, 2017
2015
ACM Trans. Softw. Eng. Methodol., 2015
ACM SIGSOFT Softw. Eng. Notes, 2015
Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2014
ACM SIGSOFT Softw. Eng. Notes, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009