Using conditional trace slicing for improving Maude programs
AlpuenteMaría, BallisDemis, FrechinaFrancisco, RomeroDaniel · Science of Computer Programming · 2014
Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-l...