Login / Signup
Xuede Zhan
Publication Activity (10 Years)
Years Active: 2002-2007
Publications (10 Years): 0
</>
Publications
</>
Xuede Zhan
A Formal Testing Framework for UML Statecharts.
SNPD (3)
(2007)
Xuede Zhan
,
Huaikou Miao
An Approach to Formalizing the Semantics of UML Statecharts.
ER
(2004)
Xuede Zhan
,
Huaikou Miao
,
Ling Liu
Formalizing the Semantics of UML Statecharts with Z*.
CIT
(2004)
Ling Liu
,
Huaikou Miao
,
Xuede Zhan
A Framework for Specification-Based Class Testing.
ICECCS
(2002)