Software Engineering Empirical Research Radar

BeAFix: An Automated Repair Tool for Faulty Alloy Models.

Paper detail page in SEER Radar.

Authors

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

Venue / Year

ASE 2021

Topics

Debugging / Fault Localization / Diagnosis / Repair

Abstract / Summary

Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.

External Links

DOI / Publisher

PDF

Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.