Saavedra, Nuno

1. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
   2024/12/18 by Kyle Thompson, Thompson, Kyle, Nuno Saavedra +16 · 2 voices · 10 citations
   Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.AI #cs.SE
2. GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
   2022/05/28 by Nuno Saavedra, Saavedra, Nuno, João F. Ferreira +1 · 2 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability
3. Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
   2023/08/18 by Saavedra, Nuno, Gonçalves, João, Henriques, Miguel +2 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)