Huaikou Miao

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)

Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao: An Approach to Modeling and Verifying Router-Based Network. SNPD 2012: 283-288

Shengwei Xu, Huaikou Miao, Honghao Gao: Test Suite Reduction Using Weighted Set Covering Techniques. SNPD 2012: 307-312

Huaikou Miao, Roger Y. Lee, Hongwei Zeng, Jongmoon Baik (Eds.): 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30 - June 1, 2012. IEEE 2012, isbn 978-1-4673-1536-4

Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168

Shengbo Chen, Huaikou Miao, Bo Song: AGT4W: Automatic Generating Tests for Web Applications. ICFCE 2011: 885-892

Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li: Probabilistic Petri Net and its Logical Semantics. SERA 2011: 73-78

Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei: Probabilistic Timed Model Checking for Atomic Web Service. SERVICES 2011: 459-466

Honghao Gao, Huaikou Miao, Hongwei Zeng: Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168

Shengbo Chen, Huaikou Miao: Modeling and Verifying for Frameset-Based Web Applications. TASE 2011: 177-184

Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao: Verifying Web Services Composition Based on Interface Automata Using SPIN. JDCTA 4(8): 23-33 (2010)

Xiaokang Zhou, Huaikou Miao: Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS 2010: 763-769

Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu: Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS 2010: 791-795

Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen: Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC 2010: 676-682

Pan Liu, Huaikou Miao: A New Approach to Generating High Quality Test Cases. Asian Test Symposium 2010: 71-76

Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677

Yihai Chen, Huaikou Miao: The Application of Moodle in Computer English Teaching. ICWL Workshops 2010: 169-176

Liping Li, Huaikou Miao, Shengbo Chen: Test Generation for Web Applications Using Model-Checking. SNPD 2010: 237-242

Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo: A Formal Modeling for Component Behaviors Based on Event Track. SOSE 2010: 113-116

Huaikou Miao, Pan Liu, Jia Mei: An Improved Algorithm for Building the Characterizing Set. TASE 2010: 67-74

Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen: Towards Practical Modeling of Web Applications and Generating Tests. TASE 2010: 209-217

Hongwei Zeng, Huaikou Miao: Deadlock Detection for Parallel Composition of Components. Computer and Information Science 2010: 23-34

Roger Y. Lee, Gongzhu Hu, Huaikou Miao (Eds.): 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

Pan Liu, Huaikou Miao, Qing Li: A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS 2009: 713-717

Dong Xu, Huaikou Miao, Nduwimfura Philbert: Model Checking UML Activity Diagrams in FDR. ACIS-ICIS 2009: 1035-1040

Tao He, Huaikou Miao, Liping Li: A Web Service Composition Method Based on Interface Matching. ACIS-ICIS 2009: 1150-1154

Bin Zhu, Huaikou Miao, Bo Song: User-interface Design of Web Application Using Object-Z. ACIS-ICIS 2009: 1200-1204

Tao He, Huaikou Miao, Liping Li: Analysis and Composition of Web Components Based on p-Calculus. CSO (1) 2009: 677-679

Xiaolei Gao, Huaikou Miao: Proving Total Correctness of Refinement Based on Tableau. ISPA 2009: 702-707

Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng: A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC 2009: 93-98

Zhongyu Chen, Huaikou Miao: An Abstract Approach to Describing Scenario-Based Specifications. SERA 2009: 127-131

Qingguo Xu, Huaikou Miao: Manipulating Clocks in Timed Automata Using PVS. SNPD 2009: 555-560

Jia Mei, Huaikou Miao, Pan Liu: A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD 2009: 575-578

Bin Zhu, Huaikou Miao, Lizhi Cai: Testing a Web Application Involving Web Browser Interaction. SNPD 2009: 589-594

Bo Song, Huaikou Miao: Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE 2009: 174-181

Huaikou Miao, Tao He, Liping Li: Formal Semantics of OWL-S with F-Logic. Computer and Information Science 2009: 105-117

Bo Song, Huaikou Miao, Bin Zhu: Extracting Database Interactions and Generating Test for Web Applications. Computer and Information Science 2009: 203-212

Huaikou Miao, Gongzhu Hu (Eds.): 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

Xi Wang, Huaikou Miao, Liang Guo: Towards Automatic Transformation from UML Model to FSM Model for Web Applications. JSEA 1(1): 68-75 (2008)

Shengbo Chen, Huaikou Miao, Zhong-sheng Qian: Modeling and Verifying Web Browser Interactions. APSEC 2008: 351-358

Bo Song, Huaikou Miao, Shengbo Chen: Modeling Web Browser Interactions and Generating Tests. CIS (2) 2008: 399-404

Xi Wang, Liang Guo, Huaikou Miao: An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254

Zhongyu Chen, Huaikou Miao, Bo Song: A New Formal Modeling Approach for Requirement. CSSE (2) 2008: 267-270

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

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

Liping Li, Huaikou Miao, Zhong-sheng Qian: A UML-Based Approach to Testing Web Applications. ISCSCT (2) 2008: 397-401

Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian: Refining Service-Oriented Model Using Interpretation Mapping. SOSE 2008: 85-90

Xiaoxia Cao, Huaikou Miao, Qingguo Xu: Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165

Huaikou Miao, Zhong-sheng Qian, Bo Song: Towards Automatically Generating Test Paths for Web Application Testing. TASE 2008: 211-218

Huaikou Miao, Zhong-sheng Qian, Tao He: Modeling Web Browser Interactions Using FSM. APSCC 2007: 211-217

Huaikou Miao, Shengbo Chen, Zhong-sheng Qian: A Formal Open Framework Based on Agent for Testing Web Applications. CIS 2007: 281-285

Shengbo Chen, Huaikou Miao, Qingguo Xu: Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority. GCC 2007: 566-573

Zhong-sheng Qian, Huaikou Miao, Tao He: An Approach to Modeling Hypermedia Web Applications. GCC 2007: 847-854

Junfeng Wu, Huaikou Miao: A Rewriting Based Model for Nondeterministic Composite Web Service System. ICEBE 2007: 492-499

Huaikou Miao, Hongwei Zeng: Model Checking-based Verification of Web Application. ICECCS 2007: 47-55

Huaikou Miao, Junfeng Wu: Applying Formal Methods to Compositionality Description of Web Service. ICIW 2007: 13

Hongwei Zeng, Huaikou Miao: Auto-Generating Test Sequences for Web Applications. ICWE 2007: 301-305

Shengbo Chen, Huaikou Miao, Zhong-sheng Qian: Location Transparent Communications in Mobile Agent Systems. IITA 2007: 200-205

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

Zhong-sheng Qian, Huaikou Miao, Shengbo Chen: Towards Modeling Web Navigation Using FSM and Z. IITA 2007: 371-376

Zhong-sheng Qian, Huaikou Miao, Hongwei Zeng: A Practical Web Testing Model for Web Application Testing. SITIS 2007: 434-441

Hongwei Zeng, Huaikou Miao, Jing Liu: Specification-based Test Generation and Optimization Using Model Checking. TASE 2007: 349-355

Huaikou Miao, Zhicheng Wen: An Approach to Extending Object-Z with Real-Time. DELTA 2006: 345-349

Huaikou Miao, Junmei Sun, Xiaoxia Cao: Formalizing and analyzing service oriented software architecture style. EDOC 2006: 387-390

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

Hongwei Zeng, Huaikou Miao: Data Communication Model of Grid Workflow. ICEBE 2006: 647-654

Junmei Sun, Huaikou Miao: A Formal Architecture Supporting Dynamic Composition of Web Services. ICNS 2006: 48

Junmei Sun, Huaikou Miao, Xiaoxia Cao: A Domain Formal Ontology and the Application in Service Component Retrieval. ICSEA 2006: 33

Zhicheng Wen, Huaikou Miao, Hongwei Zeng: Generating Proof Obligation to Verify Object-Z Specification. ICSEA 2006: 38

Qingguo Xu, Huaikou Miao: Modeling Timed Automata Theory in PVS. Software Engineering Research and Practice 2006: 205-211

Huaikou Miao, Junmei Sun: The Role of Ontology in Service Oriented System Development. SOSE 2006: 179-182

Jing Liu, Huaikou Miao: A Strategy for Component-Based Modeling and Refinement. ICECCS 2005: 26-27

Ling Liu, Huaikou Miao: Mutation Operators for Object-Z Specification. ICECCS 2005: 498-506

Jiazhu Dai, Huaikou Miao: D_DIPS: An Intrusion Prevention System for Database Security. ICICS 2005: 481-490

Jie Yuan, Huaikou Miao, Liang Cai: A Design Pattern Verifier in Two-Tier Programming Environment. CIT 2004: 1081-1086

Xuede Zhan, Huaikou Miao, Ling Liu: Formalizing the Semantics of UML Statecharts with Z*. CIT 2004: 1116-1121

Xuede Zhan, Huaikou Miao: An Approach to Formalizing the Semantics of UML Statecharts. ER 2004: 753-765

Ling Liu, Huaikou Miao: A Specification-Based Approach to Testing Polymorphic Attributes. ICFEM 2004: 306-319

Xiaolei Gao, Huaikou Miao, Yihai Chen: Structured Object-Z Software Specification Language. GCC (1) 2003: 956-963

Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu: The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977

Ling Liu, Huaikou Miao, Xuede Zhan: A Framework for Specification-Based Class Testing. ICECCS 2002: 153-162

Jing Liu, Huaikou Miao, Xiaolei Gao: A Specification-Based Software Construction Framework for Reuse. ICFEM 2002: 69-79

Huaikou Miao, Ling Liu, Li Li: Formalizing UML Models with Object-Z. ICFEM 2002: 523-534

Chris George, Huaikou Miao (Eds.): 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

Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li: Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444

Huaikou Miao, Ling Liu: A Test Class Framework for Generating Test Cases from Z Specifications. ICECCS 2000: 164-171

Huaikou Miao, Chuanjiang Yu, Li Li: A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) 2000: 250-259

Huaikou Miao, Xiaolei Gao, Ling Liu: An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium 1999: 289-294