Show simple item record

dc.contributor.authorCataño, Nestor
dc.date.accessioned2020-10-27T00:21:13Z
dc.date.available2020-10-27T00:21:13Z
dc.date.issued2005-06-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9027
dc.description.abstractThis 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. 
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1069/1041
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1069
dc.rightsDerechos de autor 2005 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.sourceRevista Colombiana de Computación; Vol. 6 Núm. 1 (2005): Revista Colombiana de Computación; 1-15
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleCombinando ejecución simbólica y verificación de modelos para reducir la sobrecarga del análisis dinámico del programa
dc.title.translatedCombining symbolic execution and model checking to reduce dynamic program analysis overhead
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovations
dc.subject.keywordsComputer science
dc.subject.keywordsTechnology development
dc.subject.keywordsSystems engineering
dc.subject.keywordsInvestigations
dc.subject.keywordsInformation and communication technologies
dc.subject.keywordsICT's
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNAB
dc.type.hasversionInfo:eu-repo/semantics/publishedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.identifier.repourlrepourl:https://repositorio.unbosque.edu.co
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International