dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Huaikou Miao (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


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
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
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
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
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
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
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
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

Selection of 9 from 84 records - Huaikou Miao has 50 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page