conf.researchr.org / Corina S. Păsăreanu
Registered user since Fri 14 Aug 2015
Name:Corina S. Păsăreanu
Country:United States
Affiliation:Carnegie Mellon University
Personal website: http://ti.arc.nasa.gov/profile/pcorina/
Contributions
2023
2022
ESEC/FSE
Mining Software Repositories
2021
ESEC/FSE
2020
ESEC/FSE
ICST
ISSTA
ICSE
International Conference on Software Engineering for Adaptive and Self-Managing Systems
2019
ASE
ICSE
- Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
- Author of On Reliability of Patch Correctness Assessment within the Technical Track-track
- Committee Member in Program Board within the Technical Track-track
- Session Chair of Security 1 (part of Papers)
2018
ESEC/FSE
ECOOP/ISSTA
- Speaker in Speakers within the Summer School-track
- Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track
- Speaker of Symbolic Execution and Probabilistic Reasoning within the Summer School-track
- Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the Posters-track
ISSTA
- Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track
- Author of Badger: Complexity Analysis with Fuzzing and Symbolic Execution within the ISSTA Technical Papers-track
- Committee Member in Program Committee within the ISSTA Technical Papers-track
- Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track
TAVCPSIOT
ICSE
- Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
- Committee Member in Program committee within the SEIP - Software Engineering in Practice-track
- Author of Poster F2: Automated Program Repair with Canonical Constraints within the Posters -track
- Committee Member in Program board within the Technical Papers -track