On testing and conformance relations for UML statechart diagrams behaviours.

Diego Latella, Mieke Massink

Browse the full ISSTA paper archive.