Formula-Based Fault Localisation

Model-Based Diagnosis for Software featured image

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 …

avatar
Pedro Orvalho
Read more