paper-conference

Detecting Resource Leaks on Android with Alpakka
Mobile devices have become integral to our everyday lives, yet their utility hinges on their battery life. In Android apps, resource …
PDF Code
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification …
PDF Code Dataset
InfraFix: Technology-Agnostic Repair of Infrastructure as Code

Infrastructure as Code (IaC) enables scalable and automated IT infrastructure management but is prone to errors that can lead to …

PDF Code Video
Contract Usage and Evolution in Android Mobile Applications

Contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. …

PDF Code
State of the Practice in Software Testing Teaching in Four European Countries
Software testing is an indispensable component of software development, yet it often receives insufficient attention. The lack of a …
PDF