Corina S. Pasareanu
AuthID: R-00G-XFJ
1
TÃTULO: Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
AUTORES: Eduard Pinconschi; Divya Gopinath; Rui Abreu; Corina Pǎsǎreanu;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, VOLUME: 2
AUTORES: Eduard Pinconschi; Divya Gopinath; Rui Abreu; Corina Pǎsǎreanu;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, VOLUME: 2
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
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
3
TÃTULO: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: SECOM: Towards a convention for security commit messages
AUTORES: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022)
AUTORES: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022)
INDEXADO EM: Scopus WOS
Scopus WOS5
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
DBLP6
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
DBLP7
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