Steve Roach, Ann Q. Gates  Home/Search
Context Related
| utep.edu/sroach/Pr...oachWAPATV01.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: utep.edu/sroach...ctsPublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: DynaMICs is a system under development that manages integrity constraints to ensure the correct runtime behavior of programs. The intent of this approach is to facilitate the insertion of constraint-checking code into programs so that correctness properties are maintained throughout execution. Automation of the synthesis of constraint monitoring code and the insertion of constraint monitoring code is essential for the success of this approach. Possible approaches to this problem are discussed. (Update)
Similar documents based on text: More All
0.4: Logic-Based Program Synthesis: State-of-the-Art and Future Trends - Roach (Correct)
0.3: A Framework for Knowledge Management and Automated Constraint.. - Gates, Roach (2001) (Correct)
0.3: A Structured Approach For Managing A Practical Software.. - Gates, Delgado.. (2000) (Correct)
BibTeX entry: (Update)
Roach, S., and A. Q. Gates, "Towards Synthesis of Runtime Constraint Monitoring Code," Proceedings of the 2nd International Workshop on Automated Program Analysis, Testing, and Verification, 2001. http://citeseer.ist.psu.edu/roach01towards.html More
@misc{ roach01towards,
author = "S. Roach and A. Q. Gates",
title = "Towards Synthesis of Runtime Constraint Monitoring Code",
booktitle = "Proceedings of the 2nd International Workshop on Automated Program
Analysis, Testing, and Verification",
year = "2001",
url = "citeseer.ist.psu.edu/roach01towards.html" }
Citations (may not include all citations):35 Logic Program Synthesis from Incomplete Information (context) - Flener - 1995
4 On Defining a Class of Integrity Constraints (context) - Gates - 1996
4 DynaMICs: An Automated and Independent SoftwareFault Detecti.. (context) - tes, Teller - 1999
3 Deriving Path Expressions Recursively (context) - Bertolino, Marr - 1993
3 Dynamic Software Monitoring with Integrity Constraints: A Un.. (context) - Gates, Teller - 2000
3 An Integrated Design of a Dynamic SoftwareFault Monitoring S.. (context) - Gates, Teller - 2000
2 A Study Of The Effectiveness Of Integrity Constraints in the.. (context) - Cereceres - 2001
Documents on the same site (http://www.cs.utep.edu/sroach/Projects/ProjectsPublications.html): More
Relative Spatial Pose Estimation for Autonomous Grasping - Roach, Magee (Correct)
Iterative Estimation Of The Relative Spatial Poses Of A Robot.. - Roach, Magee (Correct)
The Impact of Technology on Engineering and Computer Science.. - Roach (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC