7 citations · 15 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
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…
cs.SE2024
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…