Model-Level Automatic Test Generation for UML Statecharts

TitleModel-Level Automatic Test Generation for {UML Statecharts}
Publication TypeConference Paper
Year of Publication2003
AuthorsTóth, A., Varró, D., and Pataricza, A.
EditorTyszer, J., Piestrak, S. J., and Tiexeira, J P.
Conference NameProc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003)
Date PublishedApril 14–16
Conference LocationPoznan, Poland