Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation (Paper Artifact)

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Lin, Haoran, Zhenyu Yan, Xin Zhang
DOI: 10.5281/zenodo.18805306
Cited by: 0

Abstract

This is the artifact of the paper Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation to appear in OOPSLA 2026.

Fields of Study & Subjects

Logic programming and type systems Software Testing and Debugging Techniques Software Engineering Research

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
27 February 2026
Language
EN