Runtime verification of data-centric properties in service based systems

Model-driven generation of runtime checks for system properties

M Pezzé, J Wuttke - International Journal on Software Tools for …, 2016 - Springer
Creating runtime monitors for interesting properties is an important research problem.
Existing approaches to runtime verification require specifications that not only define the …
被引用次数：9 相关文章 所有 6 个版本