Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti 0001, Radu Calinescu, Marsha Chechik
Software Engineering Empirical Research Radar
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Paper detail page in SEER Radar.
ICSE 2024
Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
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.