Corina S. Pasareanu

Registered user since Tue 27 Aug 2019

Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Contributions

ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
DeepTest 2021 Steering Committee Member in Steering Committee within the deeptest2021-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
ISSTA 2021 PC Member in Program Committee
Panelist of ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1) within the Keynotes-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ICST 2021 Invited Speaker of Keynote Talk - Fuzzing, symbolic execution, and synthesis for testing within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track
FormaliSE 2020 Keynote Speaker of On the Probabilistic Analysis of Neural Networks within the FormaliSE 2020-track
ESEC/FSE 2020 Committee Member in Program Committee within the Visions and Reflections -track
Committee Member in Program Committee within the Research Papers-track
ICST 2020 Session Chair of RT4 - Misc 1 (part of Research Papers)
Session Chair of RT2 - Test Generation Infante (part of Research Papers)
Session Chair of RT9 - Empirical Analysis and Program Repair (part of Research Papers)
Session Chair of RT9 - Empirical Analysis and Program Repair (part of Research Papers)
Session Chair of RT7 - Optimizing Testing (part of Research Papers)
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
ICSE 2021 Author of NEUROSPF: A Tool For the Symbolic Analysis of Neural Networks within the DEMO - Demonstrations-track
Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
ASE 2019 Author of Property Inference for Deep Neural Networks within the Research Papers-track
ICSE 2020 Author of HyDiff: Hybrid Differential Software Analysis within the Technical Papers-track
ICSE 2019 Author of DifFuzz: Differential Fuzzing for Side-Channel Analysis within the Technical Track-track