Herbert Prähofer, Roland Schatz, Christian Wirth. Detection of high-level execution patterns in reactive behavior of control programs. In Jonathan Cook, James A. Jones, editors, Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010. pages 14-19, ACM, 2010. [doi]
Abstract is missing.