( en | de | ru )

 

Disambiguation of "Miao, Huaikou"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Xiaodan Miao

Jianmin Miao

Miao Zhang

Bingqi Miao

Jinsong Miao

 

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)Guest Editors' Introduction., and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things., , , , and . Secur. Commun. Networks, (2018)基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information)., , and . 计算机科学, 42 (9): 154-158 (2015)A Rewriting Based Model for Nondeterministic Composite Web Service System., and . ICEBE, page 492-499. IEEE Computer Society, (2007)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.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)