Mireille Ducassé
-
Logical debugging
Journal of Symbolic Computation - Special issue on automatic programming