Author of the publication

Model Checking UML Activity Diagrams in FDR.

, , and . ACIS-ICIS, page 1035-1040. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Guest Editors' Introduction., and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information)., , and . 计算机科学, 42 (9): 154-158 (2015)AGT4W: Automatic Generating Tests for Web Applications., , and . ICFCE, volume 133 of Advances in Intelligent and Soft Computing, page 885-892. Springer, (2011)A UML-Based Approach to Testing Web Applications., , and . ISCSCT (2), page 397-401. IEEE Computer Society, (2008)A New Approach to Automated Redundancy Reduction for Test Sequences., , , and . PRDC, page 93-98. IEEE Computer Society, (2009)Overlap Community Detection Based on Node Convergence Degree., , , , and . DASC/PiCom/DataCom/CyberSciTech, page 163-167. IEEE Computer Society, (2016)Scenario specification based testing model generation., , and . ICIS, page 335-340. IEEE Computer Society, (2013)Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation., , and . ChinaGrid, page 311-316. IEEE Computer Society, (2008)Proving Total Correctness of Refinement Based on Tableau., and . ISPA, page 702-707. IEEE Computer Society, (2009)Modeling and Composition of Web Application Components using Extended FSM., and . ICNC (6), page 363-368. IEEE Computer Society, (2008)