Trace slicing is a transformation technique that reduces the size of execution traces for the purpose of program analysis and debugging. Based on the appropriate use of antecedents, trace slicing tracks back reverse dependences and causality along execution traces and then cuts off irrelevant information that does not influence the data observed from the trace. In this paper, we describe the first slicing tool for conditional rewrite theories that can be used to drastically reduce complex, textually-large system computations w.r.t. a user-defined slicing criterion that selects those data that we want to track back from a given point. © 2012 Springer-Verlag.
CITATION STYLE
Alpuente, M., Ballis, D., Frechina, F., & Romero, D. (2012). Julienne: A trace slicer for conditional rewrite theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7436 LNCS, pp. 28–32). https://doi.org/10.1007/978-3-642-32759-9_5
Mendeley helps you to discover research relevant for your work.