“…An example of a white box technique is model-based diagnosis (see, e.g., [6,7]), where a diagnosis is obtained by logical inference from a formal model of the system, combined with a set of run-time observations. While white box approaches to software diagnosis exist (see, e.g., [14,17,18,19]), software modeling is extremely complex. Hence, most software diagnosis techniques are black box.…”