María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña. Debugging Maude programs via runtime assertion checking and trace slicing. Journal of Logic and Algebraic Programming, 85(5):707-736, 2016. [doi]
@article{AlpuenteBFS16, title = {Debugging Maude programs via runtime assertion checking and trace slicing}, author = {María Alpuente and Demis Ballis and Francisco Frechina and Julia Sapiña}, year = {2016}, doi = {10.1016/j.jlamp.2016.03.001}, url = {http://dx.doi.org/10.1016/j.jlamp.2016.03.001}, researchr = {https://researchr.org/publication/AlpuenteBFS16}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {85}, number = {5}, pages = {707-736}, }