- -

Static correction of Maude programs with assertions

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Static correction of Maude programs with assertions

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Ballis, D.; Sapiña-Sanchis, J. (2019). Static correction of Maude programs with assertions. Journal of Systems and Software. 153:64-85. https://doi.org/10.1016/j.jss.2019.03.061

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

Ficheros en el ítem

Thumbnail
Nombre: Alpuente;Ballis;S ...
Tamaño: 868.5Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: jss-editor.pdf
Tamaño: 1.328Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Static correction of Maude programs with assertions
Autor: Alpuente Frasnedo, María Ballis, D. Sapiña-Sanchis, Julia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[Otros] In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification of the program behavior ...[+]
Palabras clave: Program repair , Assertion checking , Program transformation , Rewriting logic , Equational rewriting , Maude
Derechos de uso: Reserva de todos los derechos
Fuente:
Journal of Systems and Software. (issn: 0164-1212 )
DOI: 10.1016/j.jss.2019.03.061
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.jss.2019.03.061
Código del Proyecto:
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/
info:eu-repo/grantAgreement/AEI//RTI2018-094403- B-C32-AR/
Agradecimientos:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad under grant TIN2015-69175-C4-1-R, and by Generalitat Valenciana PROMETEOII/2015/013 and PROMETEO/2019/098
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem