Towards an automatic diagnosis for high-level design validation
M. Khalil, Yves Le Traon, Ch. Robach · 2002
In this paper, we focus on high level design diagnosis. A novel diagnosis strategy is presented which allows faults to be automatically located. Given a system under test, this method effectively restricts the suspected parts in order to correct the detected faults.