Glitch: Automated polyglot security smell detection in infrastructure as code N Saavedra, JF Ferreira Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 12 | 2022 |
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs A Silva, N Saavedra, M Monperrus arXiv preprint arXiv:2402.02961, 2024 | 1 | 2024 |
CoqPyt: Proof Navigation in Python in the Era of LLMs P Carrott, N Saavedra, K Thompson, S Lerner, JF Ferreira, E First arXiv preprint arXiv:2405.04282, 2024 | | 2024 |
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions N Saavedra, A Silva, M Monperrus arXiv preprint arXiv:2310.15642, 2023 | | 2023 |
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH N Saavedra, J Gonçalves, M Henriques, JF Ferreira, A Mendes 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |