 | 2009 |
|---|
| 56 |       | 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 |
| 55 |  | Dong Xu,
Huaikou Miao,
Nduwimfura Philbert:
Model Checking UML Activity Diagrams in FDR.
ACIS-ICIS 2009: 1035-1040 |
| 54 | | Tao He,
Huaikou Miao,
Liping Li:
A Web Service Composition Method Based on Interface Matching.
ACIS-ICIS 2009: 1150-1154 |
| 53 | | Bin Zhu,
Huaikou Miao,
Bo Song:
User-interface Design of Web Application Using Object-Z.
ACIS-ICIS 2009: 1200-1204 |
| 52 | | Pan Liu,
Huaikou Miao,
Qing Li:
A Common Acquaintance Immunization Strategy for Complex Network.
ACIS-ICIS 2009: 713-717 |
| 51 | | Tao He,
Huaikou Miao,
Liping Li:
Analysis and Composition of Web Components Based on p-Calculus.
CSO (1) 2009: 677-679 |
| 50 | | Huaikou Miao,
Pan Liu,
Jia Mei,
Hongwei Zeng:
A New Approach to Automated Redundancy Reduction for Test Sequences.
PRDC 2009: 93-98 |
| 49 | | Bo Song,
Huaikou Miao:
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach.
TASE 2009: 174-181 |
| 2008 |
|---|
| 48 | | Shengbo Chen,
Huaikou Miao,
Zhong-sheng Qian:
Modeling and Verifying Web Browser Interactions.
APSEC 2008: 351-358 |
| 47 | | Bo Song,
Huaikou Miao,
Shengbo Chen:
Modeling Web Browser Interactions and Generating Tests.
CIS (2) 2008: 399-404 |
| 46 | | Xi Wang,
Liang Guo,
Huaikou Miao:
An Approach to Transforming UML Model to FSM Model for Automatic Testing.
CSSE (2) 2008: 251-254 |
| 45 | | Zhongyu Chen,
Huaikou Miao,
Bo Song:
A New Formal Modeling Approach for Requirement.
CSSE (2) 2008: 267-270 |
| 44 | | 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 |
| 43 | | 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 |
| 42 | | Liping Li,
Huaikou Miao,
Zhong-sheng Qian:
A UML-Based Approach to Testing Web Applications.
ISCSCT (2) 2008: 397-401 |
| 41 | | Huaikou Miao,
Xiaoxia Cao,
Zhong-sheng Qian:
Refining Service-Oriented Model Using Interpretation Mapping.
SOSE 2008: 85-90 |
| 40 | | Xiaoxia Cao,
Huaikou Miao,
Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement.
TASE 2008: 159-165 |
| 39 | | Huaikou Miao,
Zhong-sheng Qian,
Bo Song:
Towards Automatically Generating Test Paths for Web Application Testing.
TASE 2008: 211-218 |
| 2007 |
|---|
| 38 | | Huaikou Miao,
Zhong-sheng Qian,
Tao He:
Modeling Web Browser Interactions Using FSM.
APSCC 2007: 211-217 |
| 37 | | Huaikou Miao,
Shengbo Chen,
Zhong-sheng Qian:
A Formal Open Framework Based on Agent for Testing Web Applications.
CIS 2007: 281-285 |
| 36 | | Shengbo Chen,
Huaikou Miao,
Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.
GCC 2007: 566-573 |
| 35 | | Zhong-sheng Qian,
Huaikou Miao,
Tao He:
An Approach to Modeling Hypermedia Web Applications.
GCC 2007: 847-854 |
| 34 | | Junfeng Wu,
Huaikou Miao:
A Rewriting Based Model for Nondeterministic Composite Web Service System.
ICEBE 2007: 492-499 |
| 33 | | Huaikou Miao,
Hongwei Zeng:
Model Checking-based Verification of Web Application.
ICECCS 2007: 47-55 |
| 32 | | Huaikou Miao,
Junfeng Wu:
Applying Formal Methods to Compositionality Description of Web Service.
ICIW 2007: 13 |
| 31 | | Hongwei Zeng,
Huaikou Miao:
Auto-Generating Test Sequences for Web Applications.
ICWE 2007: 301-305 |
| 30 | | Shengbo Chen,
Huaikou Miao,
Zhong-sheng Qian:
Location Transparent Communications in Mobile Agent Systems.
IITA 2007: 200-205 |
| 29 | | 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 |
| 28 | | Zhong-sheng Qian,
Huaikou Miao,
Shengbo Chen:
Towards Modeling Web Navigation Using FSM and Z.
IITA 2007: 371-376 |
| 27 | | Hongwei Zeng,
Huaikou Miao,
Jing Liu:
Specification-based Test Generation and Optimization Using Model Checking.
TASE 2007: 349-355 |
| 2006 |
|---|
| 26 | | Huaikou Miao,
Zhicheng Wen:
An Approach to Extending Object-Z with Real-Time.
DELTA 2006: 345-349 |
| 25 | | Huaikou Miao,
Junmei Sun,
Xiaoxia Cao:
Formalizing and analyzing service oriented software architecture style.
EDOC 2006: 387-390 |
| 24 | | 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 |
| 23 | | Hongwei Zeng,
Huaikou Miao:
Data Communication Model of Grid Workflow.
ICEBE 2006: 647-654 |
| 22 | | Junmei Sun,
Huaikou Miao:
A Formal Architecture Supporting Dynamic Composition of Web Services.
ICNS 2006: 48 |
| 21 | | Junmei Sun,
Huaikou Miao,
Xiaoxia Cao:
A Domain Formal Ontology and the Application in Service Component Retrieval.
ICSEA 2006: 33 |
| 20 | | Zhicheng Wen,
Huaikou Miao,
Hongwei Zeng:
Generating Proof Obligation to Verify Object-Z Specification.
ICSEA 2006: 38 |
| 19 | | Huaikou Miao,
Junmei Sun:
The Role of Ontology in Service Oriented System Development.
SOSE 2006: 179-182 |
| 18 | | Qingguo Xu,
Huaikou Miao:
Modeling Timed Automata Theory in PVS.
Software Engineering Research and Practice 2006: 205-211 |
| 2005 |
|---|
| 17 | | Jing Liu,
Huaikou Miao:
A Strategy for Component-Based Modeling and Refinement.
ICECCS 2005: 26-27 |
| 16 | | Ling Liu,
Huaikou Miao:
Mutation Operators for Object-Z Specification.
ICECCS 2005: 498-506 |
| 15 | | Jiazhu Dai,
Huaikou Miao:
D_DIPS: An Intrusion Prevention System for Database Security.
ICICS 2005: 481-490 |
| 2004 |
|---|
| 14 | | Jie Yuan,
Huaikou Miao,
Liang Cai:
A Design Pattern Verifier in Two-Tier Programming Environment.
CIT 2004: 1081-1086 |
| 13 | | Xuede Zhan,
Huaikou Miao,
Ling Liu:
Formalizing the Semantics of UML Statecharts with Z*.
CIT 2004: 1116-1121 |
| 12 | | Xuede Zhan,
Huaikou Miao:
An Approach to Formalizing the Semantics of UML Statecharts.
ER 2004: 753-765 |
| 11 | | Ling Liu,
Huaikou Miao:
A Specification-Based Approach to Testing Polymorphic Attributes.
ICFEM 2004: 306-319 |
| 2003 |
|---|
| 10 | | Xiaolei Gao,
Huaikou Miao,
Yihai Chen:
Structured Object-Z Software Specification Language.
GCC (1) 2003: 956-963 |
| 9 | | Xiaolei Gao,
Huaikou Miao,
Shaoying Liu,
Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2) 2003: 970-977 |
| 2002 |
|---|
| 8 | | 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
Springer 2002 |
| 7 | | Ling Liu,
Huaikou Miao,
Xuede Zhan:
A Framework for Specification-Based Class Testing.
ICECCS 2002: 153-162 |
| 6 | | Huaikou Miao,
Ling Liu,
Li Li:
Formalizing UML Models with Object-Z.
ICFEM 2002: 523-534 |
| 5 | | Jing Liu,
Huaikou Miao,
Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
ICFEM 2002: 69-79 |
| 2001 |
|---|
| 4 | | 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 |
|---|
| 3 | | Huaikou Miao,
Ling Liu:
A Test Class Framework for Generating Test Cases from Z Specifications.
ICECCS 2000: 164-171 |
| 2 | | Huaikou Miao,
Chuanjiang Yu,
Li Li:
A Formalized Abstract Component Object Mode - Z-COM.
TOOLS (36) 2000: 250-259 |
| 1999 |
|---|
| 1 | | Huaikou Miao,
Xiaolei Gao,
Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium 1999: 289-294 |
