Title
Towards Synthesis of Runtime Constraint Monitoring Code
Publication Date
2001
Document Type
Conference Proceeding
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.
COinS
Comments
Roach, S., and Gates, A., 'Towards Synthesis of Runtime Constraint Monitoring Code,' Proceedings of the Second International Workshop on Automated Program Analysis, Testing and Verification in conjunction with the International Conference on Software Engineering (ICSE 21), Toronto, Canada, May 13, 21