Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.

Mara Alpuente, Demis Ballis, Francisco Frechina, Julia Sapia

Browse the full ESOP paper archive.