Corina S. Pasareanu
AuthID: R-00G-XFJ
1
TÃTULO: Are security commit messages informative? Not enough!
AUTORES: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
AUTORES: Reis, Sofia; Abreu, Rui ; Pasareanu, Corina;
PUBLICAÇÃO: 2023, FONTE: 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
TÃTULO: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
AUTORES: Marieke Huisman; Corina S Pasareanu; Naijun Zhan;
PUBLICAÇÃO: 2021, FONTE: FM, VOLUME: 13047
AUTORES: Marieke Huisman; Corina S Pasareanu; Naijun Zhan;
PUBLICAÇÃO: 2021, FONTE: FM, VOLUME: 13047
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
AUTORES: Daniel Kroening; Corina S Pasareanu;
PUBLICAÇÃO: 2015, FONTE: CAV (1), VOLUME: 9206
AUTORES: Daniel Kroening; Corina S Pasareanu;
PUBLICAÇÃO: 2015, FONTE: CAV (1), VOLUME: 9206
INDEXADO EM: DBLP
DBLP4
TÃTULO: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 Full Text
AUTORES: Perry Alexander; Corina S Pasareanu; John G Hosking;
PUBLICAÇÃO: 2011, FONTE: ASE
AUTORES: Perry Alexander; Corina S Pasareanu; John G Hosking;
PUBLICAÇÃO: 2011, FONTE: ASE
INDEXADO EM: DBLP
DBLP