Towards Synthesis of Runtime Constraint Monitoring Code

Publication Date


Document Type

Conference Proceeding


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


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.