Merging Test and Verification for Rule Base Debugging.

Fatma Bouali, Stphane Loiseau, Marie-Christine Rousset

Browse the full ICTAI paper archive.