Generating Properties for Runtime Monitoring from Software Specification Patterns.

Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky

Browse the full SEKE paper archive.