Towards an automatic diagnosis for high-level design validation.

Maisaa Khalil, Yves Le Traon, Chantal Robach

Browse the full ITC paper archive.