Balasubramanian, D., C. S. Pasareanu, J. Biatek, T. Pressburger, G. Karsai, M. R. Lowry, and M. W. Whalen,
"Integrating Statechart Components in Polyglot",
NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry,
"Polyglot: Modeling and Analysis for Multiple Statechart Formalisms",
International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011.
Abstract
Download: ISSTA2011.pdf (1.53 MB)