Corina S. Pasareanu
AuthID: R-00G-XFJ
1
TITLE: Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
AUTHORS: Eduard Pinconschi; Divya Gopinath; Rui Abreu; Corina Pǎsǎreanu;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Eduard Pinconschi; Divya Gopinath; Rui Abreu; Corina Pǎsǎreanu;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2
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
3
TITLE: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus 
WOS
Scopus WOS4
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 WOS5
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
DBLP6
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
DBLP7
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