- -

Assertion-based Analysis via Slicing with ABETS

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Assertion-based Analysis via Slicing with ABETS

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Frechina, F.; Sapiña Sanchis, J.; Ballis, D. (2016). Assertion-based Analysis via Slicing with ABETS. Theory and Practice of Logic Programming. 16(5):515-532. https://doi.org/10.1017/S1471068416000375

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

Ficheros en el ítem

Thumbnail
Nombre: tplp-author.pdf
Tamaño: 690.2Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: tplp-editor.pdf
Tamaño: 766.3Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Assertion-based Analysis via Slicing with ABETS
Autor: Alpuente Frasnedo, María Frechina, F. Sapiña Sanchis, Julia Ballis, Demis
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:
[EN] We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, ...[+]
Palabras clave: Runtime Assertion Checking , Dynamic Program and Trace Slicing , Program Diagnosis and Debugging , Rewriting Logic , Maude
Derechos de uso: Reserva de todos los derechos
Fuente:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068416000375
Editorial:
Cambridge University Press (CUP)
Versión del editor: http://dx.doi.org/10.1017/S1471068416000375
Título del congreso: 32nd International Conference on Logic Programming (ICLP)
Lugar del congreso: New York, USA
Fecha congreso: October 18-21, 2016
Código del Proyecto:
info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
info:eu-repo/grantAgreement/UPV//FPI%2FSP2013-0083./
Agradecimientos:
This work has been partially supported by the EU (FEDER) and Spanish MINECO grant TIN2015-69175-C4-1-R, and by Generalitat Valenciana PROMETEOII/2015/013. J. Sapina was supported by FPI-UPV grant SP2013-0083.
Tipo: Artículo Comunicación en congreso

recommendations

 

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

Mostrar el registro completo del ítem