'Generating Properties for Runtime Monitoring from Software Specification Patterns,'

Ann C. Gates, University of Texas at El Paso

Document Type Conference Proceeding

Abstract

Mondragon, O., Gates, A., Mendoza, H., Sokolsky, O., 'Generating Properties for Runtime Monitoring from Software Specification Patterns,' Proceedings 17th International Conference on Software Engineering and Knowledge Engineering, July 25.