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

AGT4W: Automatic Generating Tests for Web Applications., , and . ICFCE, volume 133 of Advances in Intelligent and Soft Computing, page 885-892. Springer, (2011)基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information)., , and . 计算机科学, 42 (9): 154-158 (2015)Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things., , , , and . Secur. Commun. Networks, (2018)Guest Editors' Introduction., and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)Modeling and Composition of Web Application Components using Extended FSM., and . ICNC (6), page 363-368. IEEE Computer Society, (2008)A Static Analysis Approach for Automatic Generating Test Cases for Web Applications., , , and . CSSE (2), page 751-754. IEEE Computer Society, (2008)978-0-7695-3336-0.Introducing Agents in Multi-agent System with Superposition Refinement., and . SNPD, page 342-347. IEEE Computer Society, (2013)An Approach to Modeling and Verifying Router-Based Network., , , and . SNPD, page 283-288. IEEE Computer Society, (2012)A UML-Based Approach to Testing Web Applications., , and . ISCSCT (2), page 397-401. IEEE Computer Society, (2008)Scenario specification based testing model generation., , and . ICIS, page 335-340. IEEE Computer Society, (2013)