- -

Assertion-based Analysis via Slicing with ABETS

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Assertion-based Analysis via Slicing with ABETS

Show full item record

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

Files in this item

Item Metadata

Title: Assertion-based Analysis via Slicing with ABETS
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:
[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, ...[+]
Subjects: Runtime Assertion Checking , Dynamic Program and Trace Slicing , Program Diagnosis and Debugging , Rewriting Logic , Maude
Copyrigths: Reserva de todos los derechos
Source:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068416000375
Publisher:
Cambridge University Press (CUP)
Publisher version: http://dx.doi.org/10.1017/S1471068416000375
Conference name: 32nd International Conference on Logic Programming (ICLP)
Conference place: New York, USA
Conference date: October 18-21, 2016
Thanks:
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.
Type: Artículo Comunicación en congreso

This item appears in the following Collection(s)

Show full item record