Five Papers Accepted So Far in 2026

Mar 31, 2026

Paper update: the Software Reliability Lab has five papers accepted so far in 2026, spanning ICSE, FSE, MSR, EASE, and LAST-X.

We are delighted to share that, by the end of March, the Software Reliability Lab already has five papers accepted in 2026:

  1. MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
    Accepted at the IEEE/ACM International Conference on Software Engineering (ICSE 2026).
    Authors: Isabel Amaral, Alexandra Mendes, and José Campos.

  2. ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
    Accepted at the ACM International Conference on the Foundations of Software Engineering (FSE 2026), Tool Demonstrations Track.
    Authors: Martim Afonso, Nuno Saavedra, Bruno Lourenço, Alexandra Mendes, and João F. Ferreira.

  3. An Empirical Study of Policy as Code: Adoption, Purpose, and Maintenance
    Accepted at the International Conference on Mining Software Repositories (MSR 2026).
    Authors: Ruben Opdebeeck, Mahmoud Alfadel, Akond Rahman, Yutaro Kashiwa, João F. Ferreira, Raula Gaikovina Kula, and Coen De Roover.

  4. The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible’s Challenges
    Accepted at the International Conference on Evaluation and Assessment in Software Engineering (EASE 2026).
    Authors: Carolina Carreira, Nuno Saavedra, Alexandra Mendes, and João F. Ferreira.

  5. Vibenix: An AI Assistant for Software Packaging with Nix
    Accepted at the Workshop on LLM Assisted Security and Trust Exploration (LAST-X 2026), co-located with NDSS Symposium 2026.
    Authors: Martin Schwaighofer, Martim Monis, Nuno Saavedra, João F. Ferreira, and Rene Mayrhofer.

Congratulations to all the authors!