- -

Debugging Maude programs via runtime assertion checking and trace slicing

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Debugging Maude programs via runtime assertion checking and trace slicing

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Debugging Maude programs via runtime assertion checking and trace slicing
Autor:
Entidad UPV: 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
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Trace slicing , Runtime checking , Dynamic program slicing , Program diagnosis and debugging , Rewriting logic , Maude
Derechos de uso: Embargado
Fuente:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2016.03.001
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.jlamp.2016.03.001
Descripción: [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.
Agradecimientos:
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 ...[+]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem