Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset. Merging Test and Verification for Rule Base Debugging. In ICTAI. pages 166-169, 1996.
@inproceedings{BoualiLR96, title = {Merging Test and Verification for Rule Base Debugging}, author = {Fatma Bouali and Stéphane Loiseau and Marie-Christine Rousset}, year = {1996}, tags = {rule-based, testing, rules, debugging}, researchr = {https://researchr.org/publication/BoualiLR96}, cites = {0}, citedby = {0}, pages = {166-169}, booktitle = {ICTAI}, }