Zhong wei Xu

Model-Based Safety Test Automation of Safety-Critical Software

Gang Yu, Zhong wei Xu, 2010, 2010 International Conference on Computational Intelligence and Software Engineering.

Modeling and safety test of safety-critical software

Gang Yu, Jing Xiong, Zhong wei Xu, 2010, 2010 IEEE International Conference on Intelligent Computing and Intelligent Systems.