Corina S. Pasareanu
AuthID: R-00G-XFJ
1
TITLE: Are security commit messages informative? Not enough!
AUTHORS: Reis, Sofia; Abreu, Rui; Pasareanu, Corina;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
AUTHORS: Reis, Sofia; Abreu, Rui; Pasareanu, Corina;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
2
TITLE: SECOM: Towards a convention for security commit messages
AUTHORS: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLISHED: 2022, SOURCE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022)
AUTHORS: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLISHED: 2022, SOURCE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022)
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
AUTHORS: Marieke Huisman; Corina S Pasareanu; Naijun Zhan;
PUBLISHED: 2021, SOURCE: FM, VOLUME: 13047
AUTHORS: Marieke Huisman; Corina S Pasareanu; Naijun Zhan;
PUBLISHED: 2021, SOURCE: FM, VOLUME: 13047
INDEXED IN: 
DBLP
DBLP4
TITLE: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
AUTHORS: Daniel Kroening; Corina S Pasareanu;
PUBLISHED: 2015, SOURCE: CAV (1), VOLUME: 9206
AUTHORS: Daniel Kroening; Corina S Pasareanu;
PUBLISHED: 2015, SOURCE: CAV (1), VOLUME: 9206
INDEXED IN: DBLP
DBLP5
TITLE: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 Full Text
AUTHORS: Perry Alexander; Corina S Pasareanu; John G Hosking;
PUBLISHED: 2011, SOURCE: ASE
AUTHORS: Perry Alexander; Corina S Pasareanu; John G Hosking;
PUBLISHED: 2011, SOURCE: ASE
INDEXED IN: DBLP
DBLP