Debugging, equational generalization, graph automorphism, Maude, program animation, rewriting logic, Slicing, stepping, Structural symmetries.