Mostrar el registro sencillo del ítem

Combining symbolic execution and model checking to reduce dynamic program analysis overhead

dc.creatorCataño, Nestor
dc.date2005-06-01
dc.date.accessioned2022-03-03T19:57:05Z
dc.date.available2022-03-03T19:57:05Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1069
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13843
dc.descriptionThis paper addresses the problem of reducing the runtime monitoring overhead for programs where ¯ne-grained monitoring of events is required. To this end we complement model checking techniques with symbolic reasoning methods and show that, under certain circumstances, code fragments do not a®ect the validity of underlying properties. We consider safety properties given as regular expressions on events generated by the program. Further, we show how our framework can be extended to consider programs with cycles. We sample our presentation with the aid of the Java PathFinder model checker [13]. Keywords: model checking, Java PathFinder, symbolic reasoning, instrumentation, monitoring, invariant strengthening. es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1069/1041
dc.rightsDerechos de autor 2005 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 6 No. 1 (2005): Revista Colombiana de Computación (Enero-Junio); 1-15en-US
dc.sourceRevista Colombiana de Computación; Vol. 6 Núm. 1 (2005): Revista Colombiana de Computación (Enero-Junio); 1-15es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleCombining symbolic execution and model checking to reduce dynamic program analysis overheades-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

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

Mostrar el registro sencillo del ítem