Simulation-based analysis of UML statechart diagrams: methods and case studies

Jiexin Lian, Zhaoxia Hu, Sol M. Shatz. Simulation-based analysis of UML statechart diagrams: methods and case studies. Software Quality Journal, 16(1):45-78, 2008. [doi]

Abstract

Abstract is missing.