Xuede Zhan

According to our database, Xuede Zhan authored at least 4 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

A Formal Testing Framework for UML Statecharts.

Xuede Zhan

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

2004

An Approach to Formalizing the Semantics of UML Statecharts.

Xuede Zhan, Huaikou Miao

Proceedings of the Conceptual Modeling, 2004

Formalizing the Semantics of UML Statecharts with Z*.

Xuede Zhan, Huaikou Miao, Ling Liu

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2002

A Framework for Specification-Based Class Testing.

Ling Liu, Huaikou Miao, Xuede Zhan

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002