Generating Properties for Runtime Monitoring from Software Specification Patterns

Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky. Generating Properties for Runtime Monitoring from Software Specification Patterns. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 267-273, 2005.

Abstract

Abstract is missing.