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
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
182019
SECBENCH: A Database of Real Security Vulnerabilities.
S Reis, R Abreu
SecSE @ ESORICS, 69-85, 2017
18*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
142021
A ground-truth dataset of real security patches
S Reis, R Abreu
https://arxiv.org/abs/2110.09635, 2021
112021
Leveraging Practitioners' Feedback to Improve a Security Linter
S Reis, R Abreu, M d'Amorim, D Fortunato
Automated Software Engineering (ASE), 2022
82022
SECOM: Towards a convention for security commit messages
S Reis, R Abreu, H Erdogmus, C Păsăreanu
International Conference on Mining Software Repositories (MSR), 2022
32022
Are security commit messages informative? Not enough!
S Reis, R Abreu, C Pasareanu
Proceedings of the 27th International Conference on Evaluation and …, 2023
22023
Fixing vulnerabilities potentially hinders maintainability
S Reis, R Abreu, L Cruz
Empirical Software Engineering (EMSE) 26, 127, 2021
22021
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
arXiv preprint arXiv:2402.17679, 2024
12024
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) – Software Engineering for AI, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–11