- -

Automatic inference of specifications using matching logic

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

Compartir/Enviar a

Citas

Estadísticas

Automatic inference of specifications using matching logic

Mostrar el registro completo del ítem

Alpuente Frasnedo, M.; Feliú Gabaldón, MA.; Villanueva García, A. (2013). Automatic inference of specifications using matching logic. En Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation. Association for Computing Machinery (ACM). 127-136. doi:10.1145/2426890.2426914

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

Ficheros en el ítem

Metadatos del ítem

Título: Automatic inference of specifications using matching logic
Autor:
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:
Formal specifications can be used for various software engineering activities ranging from finding errors to documenting software and automatic test-case generation. Automatically discovering specifications for heap-manipulating ...[+]
Palabras clave: Matching logic , Specifications inference , Symbolic execution
Derechos de uso: Reserva de todos los derechos
ISBN: 978-1-4503-1842-6
Fuente:
Proceeding PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation.
DOI: 10.1145/2426890.2426914
Editorial:
Association for Computing Machinery (ACM)
Versión del editor: http://dx.doi.org/10.1145/2426890.2426914
Tipo: Capítulo de libro

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

Mostrar el registro completo del ítem