A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification

On testing and conformance relations for UML statechart diagrams behaviours

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis

Conformance Testing Based on UML State Machines

ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering

Regression testing with UML software designs: A survey

Journal of Software Maintenance and Evolution: Research and Practice

Specifying Component Behavior with Port State Machines

Electronic Notes in Theoretical Computer Science (ENTCS)

An accessible verification environment for UML models of services

Journal of Symbolic Computation

UML behavioral model based test case generation: a survey

ACM SIGSOFT Software Engineering Notes