Huaikou Miao

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 32

Top Venues

SOFL+MSVL

CollaborateCom

ICIS

Int. J. Networked Distributed Comput.

Publications

Huan Zhang, Weihuan Min, Zhao Wei, Li Kuang, Honghao Gao, Huaikou Miao
A Just-in-time Software Defect Localization Method based on Code Graph Representation. ICPC (2024)
Honghao Gao, Baobin Dai, Huaikou Miao, Xiaoxian Yang, Ramón J. Durán Barroso, Walayat Hussain
A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Trans. Multim. Comput. Commun. Appl. 19 (1) (2023)
Pan Liu, Yihao Li, Huaikou Miao
Transition Algebra for Software Testing. IEEE Trans. Reliab. 70 (4) (2021)
Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang
SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata. Mob. Networks Appl. 26 (6) (2021)
Zhoujie Du, Huaikou Miao
Research on Edge Service Composition Method Based on BAS Algorithm. Comput. Intell. Neurosci. 2021 (2021)
Lei Xiao, Huaikou Miao, Tingting Shi, Yu Hong
LSTM-based deep learning for spatial-temporal software testing. Distributed Parallel Databases 38 (3) (2020)
Shengbo Chen, Xianrui Liu, Yiyong Huang, Congcong Zhou, Huaikou Miao
Video Synopsis Based on Attention Mechanism and Local Transparent Processing. IEEE Access 8 (2020)
Yanglan Gan, Yang Xiang, Guobing Zou, Huaikou Miao, Bofeng Zhang
Multi-label Recommendation of Web Services with the Combination of Deep Neural Networks. CollaborateCom (2019)
Xiaolin Wang, Hongwei Zeng, Honghao Gao, Huaikou Miao, Weiwei Lin
Location-Based Test Case Prioritization for Software Embedded in Mobile Devices Using the Law of Gravitation. Mob. Inf. Syst. 2019 (2019)
Yu Wong, Hongwei Zeng, Huaikou Miao, Honghao Gao, Xiaoxian Yang
The Cuckoo Search and Integer Linear Programming Based Approach to Time-Aware Test Case Prioritization Considering Execution Environment. CollaborateCom (2018)
Honghao Gao, Huaikou Miao, Lilan Liu, Jinyu Kai, Kun Zhao
Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective. Int. J. Softw. Eng. Knowl. Eng. 28 (10) (2018)
Guobing Zou, Shengye Pang, Pengwei Wang, Huaikou Miao, Sen Niu, Yanglan Gan, Bofeng Zhang
Neighborhood-Based Uncertain QoS Prediction of Web Services via Matrix Factorization. CollaborateCom (2018)
Weiwei Lin, Hongwei Zeng, Honghao Gao, Huaikou Miao, Xiaolin Wang
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of Things. Secur. Commun. Networks 2018 (2018)
Zhoujie Du, Huaikou Miao
Research Review on Web Service Composition Testing. SOFL+MSVL (2018)
Lei Xie, Shengbo Chen, Wenfeng Shen, Huaikou Miao
A Novel Self-Adaptive VM Consolidation Strategy Using Dynamic Multi-Thresholds in IaaS Clouds. Future Internet 10 (6) (2018)
Weng Wen, Huaikou Miao
Research on Service Recommendation Reliability in mobile computing. Int. J. Networked Distributed Comput. 5 (3) (2017)
Honghao Gao, Yucong Duan, Huaikou Miao, Yuyu Yin
An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process. IEEE Access 5 (2017)
Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao
An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective. MobiQuitous (2017)
Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao
A Framework for Multi-view Reconciliation and for Medical Devices Personalization. ICFEM (2017)
Weng Wen, Huaikou Miao
Research on service recommendation reliability in mobile computing. SERA (2017)
Haibo Li, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao
A 3D Registration Method Based on Indoor Positioning Through Networking. CollaborateCom (2017)
Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen
An empirical study on clustering approach combining fault prediction for test case prioritization. ICIS (2017)
Xi Wang, Huaikou Miao, Weikai Miao
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL (2016)
Weng Wen, Huaikou Miao
Context-Based Service Recommendation System Using Probability Model in Mobile Devices. ES (2016)
Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen
Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization. SATE (2016)
Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA (2016)
Shengbo Chen, Hao Fu, Huaikou Miao
Formal verification of security protocols using Spin. ICIS (2016)
Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL (2016)
Weimin Li, Shu Jiang, Huaikou Miao, Xiaokang Zhou, Qun Jin
Overlap Community Detection Based on Node Convergence Degree. DASC/PiCom/DataCom/CyberSciTech (2016)
Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai
Applying Probabilistic Model Checking to Service Discovery Framework. SCC (2016)
Gongzhu Hu, Tan Xi, Faraz Mohammed, Huaikou Miao
Classification of wine quality with imbalanced data. ICIT (2016)
Ying Li, Huaikou Miao
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 26 (4) (2016)
Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao
The Interchange Format of Tabular Expressions Using XML. SOFL+MSVL (2015)
Kun Zhao, Huaikou Miao, Jinyu Kai, Jiaan Zhou, Honghao Gao
A Visual Modeling and Transformation Tool for Multiple Representations of Probabilistic Behavior Model. ACIT-CSI (2015)
Shengbo Chen, Dashen Sun, Huaikou Miao
The Influence of Alias and References Escape on Java Program Analysis. Int. J. Networked Distributed Comput. 3 (1) (2015)
Longhui Chang, Huaikou Miao, Lei Xiao
基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). 计算机科学 42 (9) (2015)
Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao
Survivability prediction of web system based on log statistics. SNPD (2015)
Jinyu Kai, Huaikou Miao, Kun Zhao, Jiaan Zhou, Honghao Gao
A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking. Int. J. Softw. Innov. 3 (2) (2015)
Jinyu Kai, Huaikou Miao, Honghao Gao
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 42 (12) (2015)
Zhuang Li, Huaikou Miao
Formal specification and reasoning for situated multi-agent system. ICIS (2015)
Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng
Modeling and Testing of GUIs Using IOLTS. APSEC (1) (2014)
Min Zeng, Pan Liu, Huaikou Miao
The Design and Implementation of a Modeling Tool for Regular Expressions. IIAI-AAI (2014)
Honghao Gao, Huaikou Miao, Hongwei Zeng
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. ICWS (2014)
Jinyu Kai, Huaikou Miao, Honghao Gao
A requirements description language pLSC for probabilistic branches and three-stage events. SNPD (2014)
Longhui Chang, Huaikou Miao, Gongzheng Lu
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL (2014)
Gongzheng Lu, Huaikou Miao
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. Electron. Notes Theor. Comput. Sci. 309 (2014)
Shengbo Chen, Dashen Sun, Huaikou Miao
The Influence of Alias and References Escape on Java Program Analysis. Software Engineering Research, Management and Applications (2014)
Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang
Usage-pattern based Statistical Web Testing and Reliability Measurement. EUSPN/ICTH (2013)
Ruifeng Chen, Huaikou Miao
A Selenium based approach to automatic test script generation for refactoring JavaScript code. ICIS (2013)
Honghao Gao, Huaikou Miao
Research on the dynamic reconfiguration of Web application using two-phase compatibility verification. Int. J. Comput. Math. 90 (11) (2013)
Gongzheng Lu, Huaikou Miao
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE (2013)
Honghao Gao, Huaikou Miao
A Quantitative Model-Based Selection of Web Service Reconfiguration. SNPD (2013)
Yang Liu, Huaikou Miao, Hongwei Zeng, Yan Ma, Pan Liu
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System. J. Comput. Sci. Technol. 28 (1) (2013)
Zhuang Li, Huaikou Miao
Introducing Agents in Multi-agent System with Superposition Refinement. SNPD (2013)
Pan Liu, Huaikou Miao
Theory of Test Modeling Based on Regular Expressions. SOFL+MSVL (2013)
Chao Chen, Huaikou Miao, Yihai Chen
Concept Analysis Based Approach to Statistical Web Testing. Theories of Programming and Formal Methods (2013)
Huaikou Miao
An approach to service dynamic reconfiguration using probabilistic model checking. ICIS (2013)
Beilei Liang, Pan Liu, Huaikou Miao
Scenario specification based testing model generation. ICIS (2013)
Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao
An Approach to Modeling and Verifying Router-Based Network. SNPD (2012)
Shengwei Xu, Huaikou Miao, Honghao Gao
Test Suite Reduction Using Weighted Set Covering Techniques. SNPD (2012)
Honghao Gao, Huaikou Miao, Hongwei Zeng
Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE (2011)
Shengbo Chen, Huaikou Miao
Modeling and Verifying for Frameset-Based Web Applications. TASE (2011)
Shengbo Chen, Huaikou Miao, Bo Song
AGT4W: Automatic Generating Tests for Web Applications. ICFCE (2011)
Xi Wang, Shaoying Liu, Huaikou Miao
A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL (2011)
Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei
Probabilistic Timed Model Checking for Atomic Web Service. SERVICES (2011)
Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li
Probabilistic Petri Net and its Logical Semantics. SERA (2011)
Yihai Chen, Huaikou Miao
The Application of Moodle in Computer English Teaching. ICWL Workshops (2010)
Liping Li, Huaikou Miao, Shengbo Chen
Test Generation for Web Applications Using Model-Checking. SNPD (2010)
Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen
Towards Practical Modeling of Web Applications and Generating Tests. TASE (2010)
Xi Wang, Shaoying Liu, Huaikou Miao
A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM (2010)
Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo
A Formal Modeling for Component Behaviors Based on Event Track. SOSE (2010)
Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu
Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS (2010)
Huaikou Miao, Pan Liu, Jia Mei
An Improved Algorithm for Building the Characterizing Set. TASE (2010)
Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen
Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC (2010)
Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao
Verifying Web Services Composition Based on Interface Automata Using SPIN. J. Digit. Content Technol. its Appl. 4 (8) (2010)
Pan Liu, Huaikou Miao
A New Approach to Generating High Quality Test Cases. Asian Test Symposium (2010)
Xiaokang Zhou, Huaikou Miao
Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS (2010)
Xiaolei Gao, Huaikou Miao
Proving Total Correctness of Refinement Based on Tableau. ISPA (2009)
Qingguo Xu, Huaikou Miao
Manipulating Clocks in Timed Automata Using PVS. SNPD (2009)
Jia Mei, Huaikou Miao, Pan Liu
A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD (2009)
Bin Zhu, Huaikou Miao, Lizhi Cai
Testing a Web Application Involving Web Browser Interaction. SNPD (2009)
Tao He, Huaikou Miao, Liping Li
A Web Service Composition Method Based on Interface Matching. ACIS-ICIS (2009)
Bo Song, Huaikou Miao
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE (2009)
Tao He, Huaikou Miao, Liping Li
Analysis and Composition of Web Components Based on p-Calculus. CSO (1) (2009)
Dong Xu, Huaikou Miao, Nduwimfura Philbert
Model Checking UML Activity Diagrams in FDR. ACIS-ICIS (2009)
Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng
A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC (2009)
Bin Zhu, Huaikou Miao, Bo Song
User-interface Design of Web Application Using Object-Z. ACIS-ICIS (2009)
Pan Liu, Huaikou Miao, Qing Li
A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS (2009)
Zhongyu Chen, Huaikou Miao
An Abstract Approach to Describing Scenario-Based Specifications. SERA (2009)
Minghui Wang, Jie Yuan, Huaikou Miao, Gemiao Tan
A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. CSSE (2) (2008)
Xiaoxia Cao, Huaikou Miao, Qingguo Xu
Verifying Service-Oriented Requirements Using Model Checking. ICEBE (2008)
Huaikou Miao, Zhong-sheng Qian, Bo Song
Towards Automatically Generating Test Paths for Web Application Testing. TASE (2008)
Liping Li, Huaikou Miao, Zhong-sheng Qian
A UML-Based Approach to Testing Web Applications. ISCSCT (2) (2008)
Xiaoxia Cao, Huaikou Miao, Qingguo Xu
Modeling and Refining the Service-Oriented Requirement. TASE (2008)
Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian
Refining Service-Oriented Model Using Interpretation Mapping. SOSE (2008)
Tao He, Huaikou Miao
Modeling and Composition of Web Application Components using Extended FSM. ICNC (6) (2008)
Shengbo Chen, Huaikou Miao, Zhong-sheng Qian
Modeling and Verifying Web Browser Interactions. APSEC (2008)
Huaikou Miao, Tao He, Zhong-sheng Qian
Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. ICEBE (2008)
Xinlin Zhang, Huaikou Miao, Shenghong Li
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. ICYCS (2008)
Zhongyu Chen, Huaikou Miao, Bo Song
A New Formal Modeling Approach for Requirement. CSSE (2) (2008)

Huaikou Miao.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Huaikou Miao