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]
@article{LianHS08, title = {Simulation-based analysis of UML statechart diagrams: methods and case studies}, author = {Jiexin Lian and Zhaoxia Hu and Sol M. Shatz}, year = {2008}, doi = {10.1007/s11219-007-9020-9}, url = {http://dx.doi.org/10.1007/s11219-007-9020-9}, tags = {rule-based, case study, analysis, UML}, researchr = {https://researchr.org/publication/LianHS08}, cites = {0}, citedby = {0}, journal = {Software Quality Journal}, volume = {16}, number = {1}, pages = {45-78}, }