Soha Hussein, Vaibhav Sharma 0001, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Software Engineering Empirical Research Radar
Counterexample Guided Inductive Repair of Reactive Contracts.
Paper detail page in SEER Radar.
ASE 2021
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
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.