Huaikou Miao

	2011
83		Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern-Based Approach to Formal Specification Construction. FGIT-ASEA/DRBC/EL 2011: 159-168
82		Shengbo Chen, Huaikou Miao, Bo Song: AGT4W: Automatic Generating Tests for Web Applications. ICFCE 2011: 885-892
81		Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li: Probabilistic Petri Net and its Logical Semantics. SERA 2011: 73-78
80		Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei: Probabilistic Timed Model Checking for Atomic Web Service. SERVICES 2011: 459-466
79		Honghao Gao, Huaikou Miao, Hongwei Zeng: Research on Web Service Composition Using Probabilistic Abstraction Refinement. TASE 2011: 161-168
78		Shengbo Chen, Huaikou Miao: Modeling and Verifying for Frameset-Based Web Applications. TASE 2011: 177-184
	2010
77		Xiaokang Zhou, Huaikou Miao: Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application. ACIS-ICIS 2010: 763-769
76		Jia Mei, Huaikou Miao, Qingguo Xu, Pan Liu: Modeling and Verifying Web Service Applications with Time Constraints. ACIS-ICIS 2010: 791-795
75		Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen: Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. APSCC 2010: 676-682
74		Pan Liu, Huaikou Miao: A New Approach to Generating High Quality Test Cases. Asian Test Symposium 2010: 71-76
73		Xi Wang, Shaoying Liu, Huaikou Miao: A Pattern System to Support Refining Informal Ideas into Formal Expressions. ICFEM 2010: 662-677
72		Yihai Chen, Huaikou Miao: The Application of Moodle in Computer English Teaching. ICWL Workshops 2010: 169-176
71		Liping Li, Huaikou Miao, Shengbo Chen: Test Generation for Web Applications Using Model-Checking. SNPD 2010: 237-242
70		Zhongyu Chen, Jichang Zhang, Huaikou Miao, Zhenghu Guo: A Formal Modeling for Component Behaviors Based on Event Track. SOSE 2010: 113-116
69		Shengbo Chen, Huaikou Miao, Bo Song, Yihai Chen: Towards Practical Modeling of Web Applications and Generating Tests. TASE 2010: 209-217
68		Huaikou Miao, Pan Liu, Jia Mei: An Improved Algorithm for Building the Characterizing Set. TASE 2010: 67-74
67		Hongwei Zeng, Huaikou Miao: Deadlock Detection for Parallel Composition of Components. Computer and Information Science 2010: 23-34
66		Jia Mei, Huaikou Miao, Yihai Chen, Honghao Gao: Verifying Web Services Composition Based on Interface Automata Using SPIN. JDCTA 4(8): 23-33 (2010)
	2009
65		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
64		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] Springer 2009
63		Dong Xu, Huaikou Miao, Nduwimfura Philbert: Model Checking UML Activity Diagrams in FDR. ACIS-ICIS 2009: 1035-1040
62		Tao He, Huaikou Miao, Liping Li: A Web Service Composition Method Based on Interface Matching. ACIS-ICIS 2009: 1150-1154
61		Bin Zhu, Huaikou Miao, Bo Song: User-interface Design of Web Application Using Object-Z. ACIS-ICIS 2009: 1200-1204
60		Pan Liu, Huaikou Miao, Qing Li: A Common Acquaintance Immunization Strategy for Complex Network. ACIS-ICIS 2009: 713-717
59		Tao He, Huaikou Miao, Liping Li: Analysis and Composition of Web Components Based on p-Calculus. CSO (1) 2009: 677-679
58		Xiaolei Gao, Huaikou Miao: Proving Total Correctness of Refinement Based on Tableau. ISPA 2009: 702-707
57		Huaikou Miao, Pan Liu, Jia Mei, Hongwei Zeng: A New Approach to Automated Redundancy Reduction for Test Sequences. PRDC 2009: 93-98
56		Zhongyu Chen, Huaikou Miao: An Abstract Approach to Describing Scenario-Based Specifications. SERA 2009: 127-131
55		Qingguo Xu, Huaikou Miao: Manipulating Clocks in Timed Automata Using PVS. SNPD 2009: 555-560
54		Jia Mei, Huaikou Miao, Pan Liu: A Novel Approach for On-the-Fly Test Cases Synthesis. SNPD 2009: 575-578
53		Bin Zhu, Huaikou Miao, Lizhi Cai: Testing a Web Application Involving Web Browser Interaction. SNPD 2009: 589-594
52		Bo Song, Huaikou Miao: Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach. TASE 2009: 174-181
51		Huaikou Miao, Tao He, Liping Li: Formal Semantics of OWL-S with F-Logic. Computer and Information Science 2009: 105-117
50		Bo Song, Huaikou Miao, Bin Zhu: Extracting Database Interactions and Generating Test for Web Applications. Computer and Information Science 2009: 203-212
	2008
49		Shengbo Chen, Huaikou Miao, Zhong-sheng Qian: Modeling and Verifying Web Browser Interactions. APSEC 2008: 351-358
48		Bo Song, Huaikou Miao, Shengbo Chen: Modeling Web Browser Interactions and Generating Tests. CIS (2) 2008: 399-404
47		Xi Wang, Liang Guo, Huaikou Miao: An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254
46		Zhongyu Chen, Huaikou Miao, Bo Song: A New Formal Modeling Approach for Requirement. CSSE (2) 2008: 267-270
45		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
44		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
43		Liping Li, Huaikou Miao, Zhong-sheng Qian: A UML-Based Approach to Testing Web Applications. ISCSCT (2) 2008: 397-401
42		Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian: Refining Service-Oriented Model Using Interpretation Mapping. SOSE 2008: 85-90
41		Xiaoxia Cao, Huaikou Miao, Qingguo Xu: Modeling and Refining the Service-Oriented Requirement. TASE 2008: 159-165
40		Huaikou Miao, Zhong-sheng Qian, Bo Song: Towards Automatically Generating Test Paths for Web Application Testing. TASE 2008: 211-218
39		Xi Wang, Huaikou Miao, Liang Guo: Towards Automatic Transformation from UML Model to FSM Model for Web Applications. JSEA 1(1): 68-75 (2008)
	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

Coauthor Index

1	Liang Cai	[14]
2	Lizhi Cai	[53]
3	Xiaoxia Cao	[21] [25] [41] [42]
4	Bo Chen	[75]
5	Shengbo Chen	[28] [29] [30] [36] [37] [48] [49] [69] [71] [78] [80] [82]
6	Yihai Chen	[10] [66] [69] [72]
7	Zhongyu Chen	[46] [56] [70]
8	Jiazhu Dai	[15]
9	Honghao Gao	[66] [79] [80]
10	Xiaolei Gao	[1] [5] [9] [10] [58]
11	Chris George	[8]
12	Liang Guo	[39] [47]
13	Zhenghu Guo	[70]
14	Tao He	[35] [38] [51] [59] [62]
15	Gongzhu Hu	[64] [65]
16	Roger Y. Lee	[64]
17	Zhou Lei	[75]
18	Li Li	[2] [4] [6]
19	Liping Li	[43] [51] [59] [62] [71]
20	Qing Li	[60]
21	Shenghong Li	[44]
22	Zhuang Li	[81]
23	Huanzhou Liu	[29]
24	Jing Liu	[5] [17] [27]
25	Ling Liu	[1] [3] [4] [6] [7] [9] [11] [13] [16]
26	Pan Liu	[54] [57] [60] [68] [74] [76]
27	Shaoying Liu	[9] [73] [83]
28	Yang Liu	[81]
29	Jia Mei	[54] [57] [66] [68] [76] [80]
30	Jijun Ming	[4]
31	Nduwimfura Philbert	[63] [75]
32	Zhong-sheng Qian	[28] [29] [30] [35] [37] [38] [40] [42] [43] [49]
33	Bo Song	[40] [46] [48] [50] [52] [61] [69] [82]
34	Junmei Sun	[19] [21] [22] [25]
35	Gemiao Tan	[45]
36	Minghui Wang	[45]
37	Xi Wang	[39] [47] [73] [83]
38	Zhicheng Wen	[20] [26]
39	Junfeng Wu	[32] [34]
40	Dong Xu	[63] [75]
41	Qingguo Xu	[18] [24] [36] [41] [55] [76]
42	Chuanjiang Yu	[2] [4]
43	Jie Yuan	[14] [45]
44	Hongwei Zeng	[20] [23] [27] [31] [33] [57] [67] [79] [81]
45	Xuede Zhan	[7] [12] [13]
46	Jichang Zhang	[70]
47	Xinlin Zhang	[44]
48	Xiaokang Zhou	[77]
49	Bin Zhu	[50] [53] [61]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page