7 citations · 15 across the 9 of their papers we have counts for
4 papers · 1 filter
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Carolina Carreira, Nuno Saavedra, Alexandra Mendes +1
Infrastructure as Code (IaC) tools have transformed the way IT infrastructure is automated and managed, but their growing adoption has also exposed numerous challenges for practiti…
InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Nuno Saavedra, João F. Ferreira, Alexandra Mendes
Infrastructure as Code (IaC) enables scalable and automated IT infrastructure management but is prone to errors that can lead to security vulnerabilities, outages, and data loss. W…
Contract Usage and Evolution in Android Mobile Applications
David R. Ferreira, Alexandra Mendes, João F. Ferreira
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the…
Leveraging Large Language Models to Boost Dafny's Developers Productivity
Álvaro Silva, Alexandra Mendes, João F. Ferreira
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as…