Follow
Sofia Reis
Sofia Reis
Instituto Superior Técnico, University of Lisbon and INESC-ID
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
SECBENCH: A Database of Real Security Vulnerabilities.
S Reis, R Abreu
SecSE @ ESORICS, 69-85, 2017
22*2017
On using distributed representations of source code for the detection of C security vulnerabilities
D Coimbra, S Reis, R Abreu, C Păsăreanu, H Erdogmus
International Workshop on Principles of Diagnosis (DX), 2021
202021
Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization.
S Reis, R Abreu, M d'Amorim
International Joint Conference on Artificial Intelligence (IJCAI), 4760-4766, 2019
202019
A ground-truth dataset of real security patches
S Reis, R Abreu
https://arxiv.org/abs/2110.09635, 2021
192021
Leveraging Practitioners' Feedback to Improve a Security Linter
S Reis, R Abreu, M d'Amorim, D Fortunato
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022
122022
Fixing vulnerabilities potentially hinders maintainability
S Reis, R Abreu, L Cruz
Empirical Software Engineering (EMSE) 26, 127, 2021
62021
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
APS Venkatesh, S Sabu, AM Mir, S Reis, E Bodden
IEEE/ACM International Conference on AI Foundation Models and Software …, 2024
52024
SECOM: Towards a convention for security commit messages
S Reis, R Abreu, H Erdogmus, C Păsăreanu
IEEE/ACM International Conference on Mining Software Repositories (MSR), 2022
42022
Are security commit messages informative? Not enough!
S Reis, R Abreu, C Pasareanu
International Conference on Evaluation and Assessment in Software …, 2023
22023
SECOMlint: A linter for Security Commit Messages
S Reis, C Pasareanu, R Abreu, H Erdogmus
arXiv preprint arXiv:2301.06959, 2023
12023
Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
E Pinconschi, S Reis, C Zhang, R Abreu, H Erdogmus, CS Pasareanu, ...
International Conference on AI Engineering (CAIN @ ICSE), 2023
12023
An Empirical Study of Large Language Models for Type and Call Graph Analysis
APS Venkatesh, R Sunil, S Sabu, AM Mir, S Reis, E Bodden
arXiv preprint arXiv:2410.00603, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–12