论文信息 - Some axioms and issues in the UFO dynamic analysis framework

Some axioms and issues in the UFO dynamic analysis framework

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.

Clinton Jeffery | Mikhail Auguston | M. Auguston | Clinton Jeffery

[1] Mikhail Auguston. Lightweight semantics models for program testing and debugging automation , 2000 .

[2] Clinton Jeffery,et al. A framework for automatic debugging , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[3] Mikhail Auguston. Program Behavior Model Based on Event Grammar and its Application for Debugging Automation , 1995, AADEBUG.

[4] Clinton L. Jeffery. Program Monitoring and Visualization , 1999, Springer New York.

[5] Clinton Jeffery,et al. Towards Fully Automatic Execution Monitoring , 2002, RISSEF.