Huaikou Miao Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

1Liang Cai [14]
2Xiaoxia Cao [21] [25] [40] [41]
3Shengbo Chen [28] [29] [30] [36] [37] [47] [48]
4Yihai Chen [10]
5Zhongyu Chen [45]
6Jiazhu Dai [15]
7Xiaolei Gao [1] [5] [9] [10]
8Chris George [8]
9Liang Guo [46]
10Tao He [35] [38] [51] [54]
11Gongzhu Hu [56]
12Li Li [2] [4] [6]
13Liping Li [42] [51] [54]
14Qing Li [52]
15Shenghong Li [43]
16Huanzhou Liu [29]
17Jing Liu [5] [17] [27]
18Ling Liu [1] [3] [4] [6] [7] [9] [11] [13] [16]
19Pan Liu [50] [52]
20Shaoying Liu [9]
21Jia Mei [50]
22Jijun Ming [4]
23Nduwimfura Philbert [55]
24Zhong-sheng Qian [28] [29] [30] [35] [37] [38] [39] [41] [42] [48]
25Bo Song [39] [45] [47] [49] [53]
26Junmei Sun [19] [21] [22] [25]
27Gemiao Tan [44]
28Minghui Wang [44]
29Xi Wang [46]
30Zhicheng Wen [20] [26]
31Junfeng Wu [32] [34]
32Dong Xu [55]
33Qingguo Xu [18] [24] [36] [40]
34Chuanjiang Yu [2] [4]
35Jie Yuan [14] [44]
36Hongwei Zeng [20] [23] [27] [31] [33] [50]
37Xuede Zhan [7] [12] [13]
38Xinlin Zhang [43]
39Bin Zhu [53]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)