- -

Debugging Maude programs via runtime assertion checking and trace slicing

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Debugging Maude programs via runtime assertion checking and trace slicing

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Frechina, F.; Sapiña-Sanchis, J. (2016). Debugging Maude programs via runtime assertion checking and trace slicing. Journal of Logical and Algebraic Methods in Programming. 85(5):707-736. doi:10.1016/j.jlamp.2016.03.001

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/81131

Files in this item

Item Metadata

Title: Debugging Maude programs via runtime assertion checking and trace slicing
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
In this paper we propose a dynamic analysis methodology for improving the diagnosis of erroneous Maude programs. The key idea is to combine runtime checking and dynamic trace slicing for automatically catching errors at ...[+]
Subjects: Trace slicing , Runtime checking , Dynamic program slicing , Program diagnosis and debugging , Rewriting logic , Maude
Copyrigths: Reserva de todos los derechos
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2016.03.001
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.jlamp.2016.03.001
Description: [EN] This is the author’s version of a work that was accepted for publication in <Journal title>. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Logical and Algebraic Methods in Programming, [VOL 85, ISSUE 5, (2016)] DOI 10.1016/j.jlamp.2016.03.001.
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MINECO under grants TIN2015-69175-C4-1-R and TIN2013-45732-C4-1-P, and by Generalitat Valenciana Ref. PROMETEOII/2015/013. F. Frechina was supported ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record