Runtime verification method for self-adaptive software using reachability of transition system model

Euijong Lee, Young-Gab Kim, Young-Duk Seo, Kwangsoo Seol, Doo-Kwon Baik. Runtime verification method for self-adaptive software using reachability of transition system model. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 65-68, ACM, 2017. [doi]

Abstract

Abstract is missing.