Projet LANDE Conception et validation de logiciels - IrisaLe débogage consiste à localiser et corriger les fautes qui sont responsables des
pannes logicielles. Une ... de test peut, par exemple, indiquer le parcours de
toutes les branches d'un programme, ou l'examen de ...... M. DUCASSÉ, «
Abstract views of Prolog executions with Opium », in : Learning to Build and
Comprehend.
