Author of the publication

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

Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective., , , , and . International Journal of Software Engineering and Knowledge Engineering, 28 (10): 1369-1397 (2018)Guest Editors' Introduction., and . International Journal of Software Engineering and Knowledge Engineering, 26 (4): 537-538 (2016)Formal Semantics of OWL-S with F-Logic., , and . Computer and Information Science, volume 208 of Studies in Computational Intelligence, Springer, (2009)Research on the dynamic reconfiguration of Web application using two-phase compatibility verification., and . Int. J. Comput. Math., 90 (11): 2265-2278 (2013)基于历史信息的自适应测试用例优先级技术 (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)Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things., , , , and . Secur. Commun. Networks, (2018)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.