Sherlock4Py
🔎🐛 Sherlock4Py 🐍 MaxSAT-Based Misbehaviour Verification and Localisation Framework for Python Sherlock4Py is a research project investigating how formal reasoning and Large …
Model-Based Diagnosis for Software
Localising system faults has long been recognised as one of the most time-consuming and costly tasks in software engineering. Given a buggy system, fault localisation (FL) refers …