Show simple item record

dc.contributor.authorJeffery, Clinton
dc.contributor.authorAuguston, Mikhail
dc.dateMay 3-11, 2003
dc.date.accessioned2013-09-13T17:07:13Z
dc.date.available2013-09-13T17:07:13Z
dc.date.issued2003
dc.identifier.citationin the Proceedings of Workshop on Dynamic Analysis, ICSE’03, 25th International Conference on Software Engineering, Portland, Oregon, May 3-11, 2003, pp.45-48
dc.identifier.urihttp://hdl.handle.net/10945/36358
dc.descriptionIn the Proceedings of Workshop on Dynamic Analysis, ICSE'03, 25th International Conference on Software Engineering, Portland, Oregon, May 3-11, 2003, pp.45-48.en_US
dc.description.abstractUFO is a framework for constructing dynamic analysis tools that require varying degrees of access and control over program executions. UFO combines run time and post-mortem techniques to perform required analyses. Declarative and imperative notations are provided for constructing monitors at appropriate semantic levels. Multiple analyses can be bundled into a given monitor, and multiple monitors can be applied to a given target program execution. This paper presents the central tenets of UFO, along with our current set of research challenges.en_US
dc.rightsThis publication is a work of the U.S. Government as defined
in Title 17, United States Code, Section 101. As such, it is in the
public domain, and under the provisions of Title 17, United States
Code, Section 105, is not copyrighted in the U.S.en_US
dc.titleSome axioms and issues in the UFO dynamic analysis frameworken_US
dc.contributor.departmentComputer Science (CS)
dc.contributor.departmentSystems Engineering (SE)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record