- -

Assertion-based Analysis via Slicing with ABETS

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

Compartir/Enviar a

Citas

Estadísticas

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. doi:10.1017/S1471068416000375

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

Ficheros en el ítem

Metadatos del ítem

Título: Assertion-based Analysis via Slicing with ABETS
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:
[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
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

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

Mostrar el registro completo del ítem