Abstrac
From the VRAIN institute of the UPV we have developed different advanced techniques of
code debugging, emphasizing automatic tools and/or strongly
assisted. We mainly consider techniques based on “slicing” and reversible debugging.
While the former allow us to limit the lines of code where the
error, the latter are used to explore an execution step by step, both forward
like backwards. Debugging tools are the ideal complement to debugging techniques.
testing and validation, since they assist in locating the origin of the detected errors. Of
In this way, it is possible to reduce detection, localization and, especially, correction times.
of software errors, a crucial task in any environment in which software is developed.