'Towards Synthesis of Runtime Constraint Monitoring Code,'

Ann C. Gates, University of Texas at El Paso

Document Type Conference Proceeding

Abstract

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.