2008 |
42 | EE | Xi Wang,
Liang Guo,
Huaikou Miao:
An Approach to Transforming UML Model to FSM Model for Automatic Testing.
CSSE (2) 2008: 251-254 |
41 | EE | Zhongyu Chen,
Huaikou Miao,
Bo Song:
A New Formal Modeling Approach for Requirement.
CSSE (2) 2008: 267-270 |
40 | EE | 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 |
39 | EE | 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 |
38 | EE | Xiaoxia Cao,
Huaikou Miao,
Qingguo Xu:
Modeling and Refining the Service-Oriented Requirement.
TASE 2008: 159-165 |
37 | EE | Huaikou Miao,
Zhong-sheng Qian,
Bo Song:
Towards Automatically Generating Test Paths for Web Application Testing.
TASE 2008: 211-218 |
2007 |
36 | EE | Shengbo Chen,
Huaikou Miao,
Qingguo Xu:
Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.
GCC 2007: 566-573 |
35 | EE | Zhong-sheng Qian,
Huaikou Miao,
Tao He:
An Approach to Modeling Hypermedia Web Applications.
GCC 2007: 847-854 |
34 | EE | Junfeng Wu,
Huaikou Miao:
A Rewriting Based Model for Nondeterministic Composite Web Service System.
ICEBE 2007: 492-499 |
33 | EE | Huaikou Miao,
Hongwei Zeng:
Model Checking-based Verification of Web Application.
ICECCS 2007: 47-55 |
32 | EE | Huaikou Miao,
Junfeng Wu:
Applying Formal Methods to Compositionality Description of Web Service.
ICIW 2007: 13 |
31 | EE | Hongwei Zeng,
Huaikou Miao:
Auto-Generating Test Sequences for Web Applications.
ICWE 2007: 301-305 |
30 | EE | Shengbo Chen,
Huaikou Miao,
Zhong-sheng Qian:
Location Transparent Communications in Mobile Agent Systems.
IITA 2007: 200-205 |
29 | EE | 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 | EE | Zhong-sheng Qian,
Huaikou Miao,
Shengbo Chen:
Towards Modeling Web Navigation Using FSM and Z.
IITA 2007: 371-376 |
27 | EE | Hongwei Zeng,
Huaikou Miao,
Jing Liu:
Specification-based Test Generation and Optimization Using Model Checking.
TASE 2007: 349-355 |
2006 |
26 | EE | Huaikou Miao,
Zhicheng Wen:
An Approach to Extending Object-Z with Real-Time.
DELTA 2006: 345-349 |
25 | EE | 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 | EE | Hongwei Zeng,
Huaikou Miao:
Data Communication Model of Grid Workflow.
ICEBE 2006: 647-654 |
22 | EE | Junmei Sun,
Huaikou Miao:
A Formal Architecture Supporting Dynamic Composition of Web Services.
ICNS 2006: 48 |
21 | EE | Junmei Sun,
Huaikou Miao,
Xiaoxia Cao:
A Domain Formal Ontology and the Application in Service Component Retrieval.
ICSEA 2006: 33 |
20 | EE | Zhicheng Wen,
Huaikou Miao,
Hongwei Zeng:
Generating Proof Obligation to Verify Object-Z Specification.
ICSEA 2006: 38 |
19 | EE | 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 | EE | Jing Liu,
Huaikou Miao:
A Strategy for Component-Based Modeling and Refinement.
ICECCS 2005: 26-27 |
16 | EE | Ling Liu,
Huaikou Miao:
Mutation Operators for Object-Z Specification.
ICECCS 2005: 498-506 |
15 | EE | Jiazhu Dai,
Huaikou Miao:
D_DIPS: An Intrusion Prevention System for Database Security.
ICICS 2005: 481-490 |
2004 |
14 | EE | Jie Yuan,
Huaikou Miao,
Liang Cai:
A Design Pattern Verifier in Two-Tier Programming Environment.
CIT 2004: 1081-1086 |
13 | EE | Xuede Zhan,
Huaikou Miao,
Ling Liu:
Formalizing the Semantics of UML Statecharts with Z*.
CIT 2004: 1116-1121 |
12 | EE | Xuede Zhan,
Huaikou Miao:
An Approach to Formalizing the Semantics of UML Statecharts.
ER 2004: 753-765 |
11 | EE | Ling Liu,
Huaikou Miao:
A Specification-Based Approach to Testing Polymorphic Attributes.
ICFEM 2004: 306-319 |
2003 |
10 | EE | Xiaolei Gao,
Huaikou Miao,
Yihai Chen:
Structured Object-Z Software Specification Language.
GCC (1) 2003: 956-963 |
9 | EE | 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 | EE | Ling Liu,
Huaikou Miao,
Xuede Zhan:
A Framework for Specification-Based Class Testing.
ICECCS 2002: 153-162 |
6 | EE | Huaikou Miao,
Ling Liu,
Li Li:
Formalizing UML Models with Object-Z.
ICFEM 2002: 523-534 |
5 | EE | Jing Liu,
Huaikou Miao,
Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
ICFEM 2002: 69-79 |
2001 |
4 | EE | 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 | EE | Huaikou Miao,
Ling Liu:
A Test Class Framework for Generating Test Cases from Z Specifications.
ICECCS 2000: 164-171 |
2 | EE | Huaikou Miao,
Chuanjiang Yu,
Li Li:
A Formalized Abstract Component Object Mode - Z-COM.
TOOLS (36) 2000: 250-259 |
1999 |
1 | EE | Huaikou Miao,
Xiaolei Gao,
Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium 1999: 289-294 |