Caballero, Rafael; Riesco, Adrián; Silva, Josep(Association for Computing Machinery, 2017-11)
[EN] Algorithmic debugging is a technique proposed in 1982 by E. Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema ftting ...