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

Browse the full SAC paper archive.