paper-conference

An Empirical Study of Policy as Code: Adoption, Purpose, and Maintenance

Policy as Code (PaC) is an emerging DevOps practice that enables teams to specify organisational and technical policies, such as …

PDF
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
Systematic reviews and mapping studies are critical to synthesize research, identify gaps, and guide future work, but are often …
PDF Code Video DOI
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges

Infrastructure as Code (IaC) tools have transformed the way IT infrastructure is automated and managed, but their growing adoption has …

PDF DOI
Vibenix: An AI Assistant for Software Packaging with Nix
Implicit and floating dependencies, uncontrolled network access, and other impurities in build environments create intransparent supply …
PDF DOI
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications

In verification-aware languages, such as Dafny, despite their critical role, specifications are as prone to error as implementations. …

PDF DOI