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: 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
DBLP3
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
DBLP4
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