On testing and conformance relations for UML statechart diagrams behaviours

Diego Latella, Mieke Massink. On testing and conformance relations for UML statechart diagrams behaviours. In ISSTA. pages 144-153, 2002. [doi]

Abstract

Abstract is missing.