default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHuaikou Miao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c122]Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao:
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. ICECCS 2024: 88-107- [c121]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: 293-303 - 2023
- [j21]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): 16:1-16:22 (2023) - 2021
- [j20]Zhoujie Du, Huaikou Miao:
Research on Edge Service Composition Method Based on BAS Algorithm. Comput. Intell. Neurosci. 2021: 9931689:1-9931689:10 (2021) - [j19]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): 2272-2297 (2021) - [j18]Pan Liu, Yihao Li, Huaikou Miao:
Transition Algebra for Software Testing. IEEE Trans. Reliab. 70(4): 1438-1454 (2021) - 2020
- [j17]Shengbo Chen, Xianrui Liu, Yiyong Huang, Congcong Zhou, Huaikou Miao:
Video Synopsis Based on Attention Mechanism and Local Transparent Processing. IEEE Access 8: 92603-92614 (2020) - [j16]Lei Xiao, Huaikou Miao, Tingting Shi, Yu Hong:
LSTM-based deep learning for spatial-temporal software testing. Distributed Parallel Databases 38(3): 687-712 (2020) - [e6]Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents]
2010 – 2019
- 2019
- [j15]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: 9083956:1-9083956:14 (2019) - [c120]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: 133-150 - [e5]Honghao Gao, Yuyu Yin, Xiaoxian Yang, Huaikou Miao:
Testbeds and Research Infrastructures for the Development of Networks and Communications - 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 270, Springer 2019, ISBN 978-3-030-12970-5 [contents] - 2018
- [j14]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): 52 (2018) - [j13]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): 1369-1397 (2018) - [j12]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: 3723691:1-3723691:13 (2018) - [c119]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: 659-675 - [c118]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: 734-754 - [c117]Zhoujie Du, Huaikou Miao:
Research Review on Web Service Composition Testing. SOFL+MSVL 2018: 39-51 - 2017
- [j11]Honghao Gao, Yucong Duan, Huaikou Miao, Yuyu Yin:
An Approach to Data Consistency Checking for the Dynamic Replacement of Service Process. IEEE Access 5: 11700-11711 (2017) - [j10]Weng Wen, Huaikou Miao:
Research on Service Recommendation Reliability in mobile computing. Int. J. Networked Distributed Comput. 5(3): 152-163 (2017) - [c116]Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen:
An empirical study on clustering approach combining fault prediction for test case prioritization. ICIS 2017: 815-820 - [c115]Haibo Li, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao:
A 3D Registration Method Based on Indoor Positioning Through Networking. CollaborateCom 2017: 333-343 - [c114]Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao:
A Framework for Multi-view Reconciliation and for Medical Devices Personalization. ICFEM 2017: 71-87 - [c113]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: 78-85 - [c112]Weng Wen, Huaikou Miao:
Research on service recommendation reliability in mobile computing. SERA 2017: 345-350 - 2016
- [j9]Ying Li, Huaikou Miao:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 26(4): 537-538 (2016) - [c111]Shengbo Chen, Hao Fu, Huaikou Miao:
Formal verification of security protocols using Spin. ICIS 2016: 1-6 - [c110]Honghao Gao, Huaikou Miao, Yucong Duan, Jinyu Kai:
Applying Probabilistic Model Checking to Service Discovery Framework. SCC 2016: 782-785 - [c109]Weimin Li, Shu Jiang, Huaikou Miao, Xiaokang Zhou, Qun Jin:
Overlap Community Detection Based on Node Convergence Degree. DASC/PiCom/DataCom/CyberSciTech 2016: 163-167 - [c108]Weng Wen, Huaikou Miao:
Context-Based Service Recommendation System Using Probability Model in Mobile Devices. ES 2016: 178-182 - [c107]Gongzhu Hu, Tan Xi, Faraz Mohammed, Huaikou Miao:
Classification of wine quality with imbalanced data. ICIT 2016: 1712-1217 - [c106]Lei Xiao, Huaikou Miao, Weiwei Zhuang, Shaojun Chen:
Applying Assemble Clustering Algorithm and Fault Prediction to Test Case Prioritization. SATE 2016: 108-116 - [c105]Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao:
Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. SERA 2016: 149-154 - [c104]Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni:
Instant-Based and State-Based Analysis of Infinite Logical Clock. SOFL+MSVL 2016: 32-51 - [c103]Xi Wang, Huaikou Miao, Weikai Miao:
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL 2016: 55-73 - 2015
- [j8]Shengbo Chen, Dashen Sun, Huaikou Miao:
The Influence of Alias and References Escape on Java Program Analysis. Int. J. Networked Distributed Comput. 3(1): 11-20 (2015) - [j7]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): 24-38 (2015) - [j6]Longhui Chang, Huaikou Miao, Lei Xiao:
基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). 计算机科学 42(9): 154-158 (2015) - [j5]Jinyu Kai, Huaikou Miao, Honghao Gao:
Web服务计算组合流程QoS验证 (Verification QoS of Web Services Compositional Processes). 计算机科学 42(12): 120-123 (2015) - [c102]Zhuang Li, Huaikou Miao:
Formal specification and reasoning for situated multi-agent system. ICIS 2015: 455-460 - [c101]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: 73-78 - [c100]Jiaan Zhou, Huaikou Miao, Jinyu Kai, Kun Zhao, Honghao Gao:
Survivability prediction of web system based on log statistics. SNPD 2015: 13-18 - [c99]Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao:
The Interchange Format of Tabular Expressions Using XML. SOFL+MSVL 2015: 29-43 - 2014
- [c98]Shengbo Chen, Dashen Sun, Huaikou Miao, Hongwei Zeng:
Modeling and Testing of GUIs Using IOLTS. APSEC (1) 2014: 35-42 - [c97]Honghao Gao, Huaikou Miao, Hongwei Zeng:
Service Reconfiguration Architecture Based on Probabilistic Modeling Checking. ICWS 2014: 714-715 - [c96]Min Zeng, Pan Liu, Huaikou Miao:
The Design and Implementation of a Modeling Tool for Regular Expressions. IIAI-AAI 2014: 726-731 - [c95]Jinyu Kai, Huaikou Miao, Honghao Gao:
A requirements description language pLSC for probabilistic branches and three-stage events. SNPD 2014: 1-6 - [c94]Longhui Chang, Huaikou Miao, Gongzheng Lu:
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL 2014: 3-16 - [c93]Shengbo Chen, Dashen Sun, Huaikou Miao:
The Influence of Alias and References Escape on Java Program Analysis. Software Engineering Research, Management and Applications 2014: 99-111 - 2013
- [j4]Honghao Gao, Huaikou Miao:
Research on the dynamic reconfiguration of Web application using two-phase compatibility verification. Int. J. Comput. Math. 90(11): 2265-2278 (2013) - [j3]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): 203-216 (2013) - [c92]Huaikou Miao:
An approach to service dynamic reconfiguration using probabilistic model checking. ICIS 2013: 3 - [c91]Beilei Liang, Pan Liu, Huaikou Miao:
Scenario specification based testing model generation. ICIS 2013: 335-340 - [c90]Ruifeng Chen, Huaikou Miao:
A Selenium based approach to automatic test script generation for refactoring JavaScript code. ICIS 2013: 341-346 - [c89]Chao Chen, Huaikou Miao, Yihai Chen:
Concept Analysis Based Approach to Statistical Web Testing. Theories of Programming and Formal Methods 2013: 100-117 - [c88]Chao Chen, Yihai Chen, Huaikou Miao, Hao Wang:
Usage-pattern based Statistical Web Testing and Reliability Measurement. EUSPN/ICTH 2013: 140-147 - [c87]Zhuang Li, Huaikou Miao:
Introducing Agents in Multi-agent System with Superposition Refinement. SNPD 2013: 342-347 - [c86]Honghao Gao, Huaikou Miao:
A Quantitative Model-Based Selection of Web Service Reconfiguration. SNPD 2013: 365-371 - [c85]Pan Liu, Huaikou Miao:
Theory of Test Modeling Based on Regular Expressions. SOFL+MSVL 2013: 17-31 - [c84]Gongzheng Lu, Huaikou Miao:
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE 2013: 153-156 - [c83]Gongzheng Lu, Huaikou Miao:
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. TTSS 2013: 13-29 - 2012
- [c82]Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao:
An Approach to Modeling and Verifying Router-Based Network. SNPD 2012: 283-288 - [c81]Shengwei Xu, Huaikou Miao, Honghao Gao:
Test Suite Reduction Using Weighted Set Covering Techniques. SNPD 2012: 307-312 - [e4]Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik:
2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1536-4 [contents] - 2011
- [c80]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168 - [c79]Shengbo Chen, Huaikou Miao, Bo Song:
AGT4W: Automatic Generating Tests for Web Applications. ICFCE 2011: 885-892 - [c78]Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li:
Probabilistic Petri Net and its Logical Semantics. SERA 2011: 73-78 - [c77]Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei:
Probabilistic Timed Model Checking for Atomic Web Service. SERVICES 2011: 459-466 - [c76]Honghao Gao, Huaikou Miao, Hongwei Zeng:
Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168 - [c75]Shengbo Chen, Huaikou Miao:
Modeling and Verifying for Frameset-Based Web Applications. TASE 2011: 177-184 - 2010
- [j2]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): 23-33 (2010) - [c74]Xiaokang Zhou, Huaikou Miao:
Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS 2010: 763-769 - [c73]Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu:
Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS 2010: 791-795 - [c72]Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen:
Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC 2010: 676-682 - [c71]Pan Liu, Huaikou Miao:
A New Approach to Generating High Quality Test Cases. Asian Test Symposium 2010: 71-76 - [c70]Xi Wang, Shaoying Liu, Huaikou Miao:
A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677 - [c69]Yihai Chen, Huaikou Miao:
The Application of Moodle in Computer English Teaching. ICWL Workshops 2010: 169-176 - [c68]Liping Li, Huaikou Miao, Shengbo Chen:
Test Generation for Web Applications Using Model-Checking. SNPD 2010: 237-242 - [c67]Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo:
A Formal Modeling for Component Behaviors Based on Event Track. SOSE 2010: 113-116 - [c66]Huaikou Miao, Pan Liu, Jia Mei:
An Improved Algorithm for Building the Characterizing Set. TASE 2010: 67-74 - [c65]Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen:
Towards Practical Modeling of Web Applications and Generating Tests. TASE 2010: 209-217 - [p3]Hongwei Zeng, Huaikou Miao:
Deadlock Detection for Parallel Composition of Components. Computer and Information Science 2010: 23-34
2000 – 2009
- 2009
- [c64]Pan Liu, Huaikou Miao, Qing Li:
A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS 2009: 713-717 - [c63]Dong Xu, Huaikou Miao, Nduwimfura Philbert:
Model Checking UML Activity Diagrams in FDR. ACIS-ICIS 2009: 1035-1040 - [c62]Tao He, Huaikou Miao, Liping Li:
A Web Service Composition Method Based on Interface Matching. ACIS-ICIS 2009: 1150-1154 - [c61]Bin Zhu, Huaikou Miao, Bo Song:
User-interface Design of Web Application Using Object-Z. ACIS-ICIS 2009: 1200-1204 - [c60]Tao He, Huaikou Miao, Liping Li:
Analysis and Composition of Web Components Based on p-Calculus. CSO (1) 2009: 677-679 - [c59]Xiaolei Gao, Huaikou Miao:
Proving Total Correctness of Refinement Based on Tableau. ISPA 2009: 702-707 - [c58]Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng:
A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC 2009: 93-98 - [c57]Zhongyu Chen, Huaikou Miao:
An Abstract Approach to Describing Scenario-Based Specifications. SERA 2009: 127-131 - [c56]Qingguo Xu, Huaikou Miao:
Manipulating Clocks in Timed Automata Using PVS. SNPD 2009: 555-560 - [c55]Jia Mei, Huaikou Miao, Pan Liu:
A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD 2009: 575-578 - [c54]Bin Zhu, Huaikou Miao, Lizhi Cai:
Testing a Web Application Involving Web Browser Interaction. SNPD 2009: 589-594 - [c53]Bo Song, Huaikou Miao:
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE 2009: 174-181 - [p2]Huaikou Miao, Tao He, Liping Li:
Formal Semantics of OWL-S with F-Logic. Computer and Information Science 2009: 105-117 - [p1]Bo Song, Huaikou Miao, Bin Zhu:
Extracting Database Interactions and Generating Test for Web Applications. Computer and Information Science 2009: 203-212 - [e3]Huaikou Miao, Gongzhu Hu:
8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China. IEEE Computer Society 2009, ISBN 978-0-7695-3641-5 [contents] - [e2]Roger Y. Lee, Gongzhu Hu, Huaikou Miao:
Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Studies in Computational Intelligence 208, Springer 2009, ISBN 978-3-642-01208-2 [contents] - 2008
- [j1]Xi Wang, Huaikou Miao, Liang Guo:
Towards Automatic Transformation from UML Model to FSM Model for Web Applications. J. Softw. Eng. Appl. 1(1): 68-75 (2008) - [c52]Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
Modeling and Verifying Web Browser Interactions. APSEC 2008: 351-358 - [c51]Yongmei Lei, Huaikou Miao, Lijie Li:
Research of a Grid-enabled Parallel Computational Model and Algorithm Implementation. ChinaGrid 2008: 311-316 - [c50]Bo Song, Huaikou Miao, Shengbo Chen:
Modeling Web Browser Interactions and Generating Tests. CIS (2) 2008: 399-404 - [c49]Xi Wang, Liang Guo, Huaikou Miao:
An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254 - [c48]Zhongyu Chen, Huaikou Miao, Bo Song:
A New Formal Modeling Approach for Requirement. CSSE (2) 2008: 267-270 - [c47]Minghui Wang, Jie Yuan, Huaikou Miao, Gemiao Tan:
A Static Analysis Approach for Automatic Generating Test Cases for Web Applications. CSSE (2) 2008: 751-754 - [c46]Xiaolei Gao, Huaikou Miao:
The Axiomatic Semantics of PDFD. FCST 2008: 139-146 - [c45]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Verifying Service-Oriented Requirements Using Model Checking. ICEBE 2008: 643-648 - [c44]Huaikou Miao, Tao He, Zhong-sheng Qian:
Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. ICEBE 2008: 660-664 - [c43]Tao He, Huaikou Miao:
Modeling and Composition of Web Application Components using Extended FSM. ICNC (6) 2008: 363-368 - [c42]Xinlin Zhang, Huaikou Miao, Shenghong Li:
An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. ICYCS 2008: 416-421 - [c41]Liping Li, Huaikou Miao, Zhong-sheng Qian:
A UML-Based Approach to Testing Web Applications. ISCSCT (2) 2008: 397-401 - [c40]Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian:
Refining Service-Oriented Model Using Interpretation Mapping. SOSE 2008: 85-90 - [c39]Xiaoxia Cao, Huaikou Miao, Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165 - [c38]Huaikou Miao, Zhong-sheng Qian, Bo Song:
Towards Automatically Generating Test Paths for Web Application Testing. TASE 2008: 211-218 - 2007
- [c37]Huaikou Miao, Zhong-sheng Qian, Tao He:
Modeling Web Browser Interactions Using FSM. APSCC 2007: 211-217 - [c36]Huaikou Miao, Shengbo Chen, Zhong-sheng Qian:
A Formal Open Framework Based on Agent for Testing Web Applications. CIS 2007: 281-285 - [c35]Shengbo Chen, Huaikou Miao, Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC 2007: 566-573 - [c34]Zhong-sheng Qian, Huaikou Miao, Tao He:
An Approach to Modeling Hypermedia Web Applications. GCC 2007: 847-854 - [c33]Junfeng Wu, Huaikou Miao:
A Rewriting Based Model for Nondeterministic Composite Web Service System. ICEBE 2007: 492-499 - [c32]Huaikou Miao, Hongwei Zeng:
Model Checking-based Verification of Web Application. ICECCS 2007: 47-55 - [c31]Hongwei Zeng, Huaikou Miao:
Auto-Generating Test Sequences for Web Applications. ICWE 2007: 301-305 - [c30]Shengbo Chen, Huaikou Miao, Zhong-sheng Qian:
Location Transparent Communications in Mobile Agent Systems. IITA 2007: 200-205 - [c29]Huaikou Miao, Shengbo Chen, Huanzhou Liu, Zhong-sheng Qian:
An Approach to Generating Test Cases for Testing Component-based Web Applications. IITA 2007: 264-269 - [c28]Zhong-sheng Qian, Huaikou Miao, Shengbo Chen:
Towards Modeling Web Navigation Using FSM and Z. IITA 2007: 371-376 - [c27]Zhong-sheng Qian, Huaikou Miao, Hongwei Zeng:
A Practical Web Testing Model for Web Application Testing. SITIS 2007: 434-441 - [c26]Hongwei Zeng, Huaikou Miao, Jing Liu:
Specification-based Test Generation and Optimization Using Model Checking. TASE 2007: 349-355 - 2006
- [c25]Huaikou Miao, Zhicheng Wen:
An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349 - [c24]Huaikou Miao, Junmei Sun, Xiaoxia Cao:
Formalizing and analyzing service oriented software architecture style. EDOC 2006: 387-390 - [c23]Qingguo Xu, Huaikou Miao:
Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. IASTED Conf. on Software Engineering 2006: 107-112 - [c22]Hongwei Zeng, Huaikou Miao:
Data Communication Model of Grid Workflow. ICEBE 2006: 647-654 - [c21]Junmei Sun, Huaikou Miao:
A Formal Architecture Supporting Dynamic Composition of Web Services. ICNS 2006: 48 - [c20]Junmei Sun, Huaikou Miao, Xiaoxia Cao:
A Domain Formal Ontology and the Application in Service Component Retrieval. ICSEA 2006: 33 - [c19]Zhicheng Wen, Huaikou Miao, Hongwei Zeng:
Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38 - [c18]Qingguo Xu, Huaikou Miao:
Modeling Timed Automata Theory in PVS. Software Engineering Research and Practice 2006: 205-211 - [c17]Huaikou Miao, Junmei Sun:
The Role of Ontology in Service Oriented System Development. SOSE 2006: 179-182 - 2005
- [c16]Jing Liu, Huaikou Miao:
A Strategy for Component-Based Modeling and Refinement. ICECCS 2005: 26-27 - [c15]Ling Liu, Huaikou Miao:
Mutation Operators for Object-Z Specification. ICECCS 2005: 498-506 - [c14]Jiazhu Dai, Huaikou Miao:
D_DIPS: An Intrusion Prevention System for Database Security. ICICS 2005: 481-490 - 2004
- [c13]Jie Yuan, Huaikou Miao, Liang Cai:
A Design Pattern Verifier in Two-Tier Programming Environment. CIT 2004: 1081-1086 - [c12]Xuede Zhan, Huaikou Miao, Ling Liu:
Formalizing the Semantics of UML Statecharts with Z*. CIT 2004: 1116-1121 - [c11]Xuede Zhan, Huaikou Miao:
An Approach to Formalizing the Semantics of UML Statecharts. ER 2004: 753-765 - [c10]Ling Liu, Huaikou Miao:
A Specification-Based Approach to Testing Polymorphic Attributes. ICFEM 2004: 306-319 - 2003
- [c9]Xiaolei Gao, Huaikou Miao, Yihai Chen:
Structured Object-Z Software Specification Language. GCC (1) 2003: 956-963 - [c8]Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977 - 2002
- [c7]Ling Liu, Huaikou Miao, Xuede Zhan:
A Framework for Specification-Based Class Testing. ICECCS 2002: 153-162 - [c6]Jing Liu, Huaikou Miao, Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse. ICFEM 2002: 69-79 - [c5]Huaikou Miao, Ling Liu, Li Li:
Formalizing UML Models with Object-Z. ICFEM 2002: 523-534 - [e1]Chris George, Huaikou Miao:
Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Lecture Notes in Computer Science 2495, Springer 2002, ISBN 3-540-00029-1 [contents] - 2001
- [c4]Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li:
Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444 - 2000
- [c3]Huaikou Miao, Ling Liu:
A Test Class Framework for Generating Test Cases from Z Specifications. ICECCS 2000: 164-171 - [c2]Huaikou Miao, Chuanjiang Yu, Li Li:
A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) 2000: 250-259
1990 – 1999
- 1999
- [c1]Huaikou Miao, Xiaolei Gao, Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium 1999: 289-294
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
