Some axioms and issues in the UFO dynamic analysis framework
| dc.contributor.author | Jeffery, Clinton | |
| dc.contributor.author | Auguston, Mikhail | |
| dc.date | May 3-11, 2003 | |
| dc.date.accessioned | 2013-09-13T17:07:13Z | |
| dc.date.available | 2013-09-13T17:07:13Z | |
| dc.date.issued | 2003 | |
| dc.identifier.citation | in 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.uri | http://hdl.handle.net/10945/36358 | |
| dc.description | In 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.abstract | UFO 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.rights | This 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.title | Some axioms and issues in the UFO dynamic analysis framework | en_US |
| dc.contributor.department | Computer Science (CS) | |
| dc.contributor.department | Systems Engineering (SE) |
