Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Huaikou Miao
@article{DBLP:journals/tomccap/GaoDMYBH23,
author = {Honghao Gao and
Baobin Dai and
Huaikou Miao and
Xiaoxian Yang and
Ram{\'{o}}n J. Dur{\'{a}}n Barroso and
Walayat Hussain},
title = {A Novel {GAPG} Approach to Automatic Property Generation for Formal
Verification: The {GAN} Perspective},
journal = {{ACM} Trans. Multim. Comput. Commun. Appl.},
volume = {19},
number = {1},
pages = {16:1--16:22},
year = {2023},
url = {https://doi.org/10.1145/3517154},
doi = {10.1145/3517154},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tomccap/GaoDMYBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cin/DuM21,
author = {Zhoujie Du and
Huaikou Miao},
title = {Research on Edge Service Composition Method Based on {BAS} Algorithm},
journal = {Comput. Intell. Neurosci.},
volume = {2021},
pages = {9931689:1--9931689:10},
year = {2021},
url = {https://doi.org/10.1155/2021/9931689},
doi = {10.1155/2021/9931689},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cin/DuM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/GaoZMBY21,
author = {Honghao Gao and
Yida Zhang and
Huaikou Miao and
Ram{\'{o}}n J. Dur{\'{a}}n Barroso and
Xiaoxian Yang},
title = {{SDTIOA:} Modeling the Timed Privacy Requirements of IoT Service Composition:
{A} User Interaction Perspective for Automatic Transformation from
{BPEL} to Timed Automata},
journal = {Mob. Networks Appl.},
volume = {26},
number = {6},
pages = {2272--2297},
year = {2021},
url = {https://doi.org/10.1007/s11036-021-01846-x},
doi = {10.1007/S11036-021-01846-X},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/monet/GaoZMBY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/LiuLM21,
author = {Pan Liu and
Yihao Li and
Huaikou Miao},
title = {Transition Algebra for Software Testing},
journal = {{IEEE} Trans. Reliab.},
volume = {70},
number = {4},
pages = {1438--1454},
year = {2021},
url = {https://doi.org/10.1109/TR.2021.3116054},
doi = {10.1109/TR.2021.3116054},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/LiuLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenLHZM20,
author = {Shengbo Chen and
Xianrui Liu and
Yiyong Huang and
Congcong Zhou and
Huaikou Miao},
title = {Video Synopsis Based on Attention Mechanism and Local Transparent
Processing},
journal = {{IEEE} Access},
volume = {8},
pages = {92603--92614},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2994613},
doi = {10.1109/ACCESS.2020.2994613},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ChenLHZM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/XiaoMSH20,
author = {Lei Xiao and
Huaikou Miao and
Tingting Shi and
Yu Hong},
title = {LSTM-based deep learning for spatial-temporal software testing},
journal = {Distributed Parallel Databases},
volume = {38},
number = {3},
pages = {687--712},
year = {2020},
url = {https://doi.org/10.1007/s10619-020-07291-1},
doi = {10.1007/S10619-020-07291-1},
timestamp = {Tue, 11 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/XiaoMSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2019,
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41418-4},
doi = {10.1007/978-3-030-41418-4},
isbn = {978-3-030-41417-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mis/WangZGML19,
author = {Xiaolin Wang and
Hongwei Zeng and
Honghao Gao and
Huaikou Miao and
Weiwei Lin},
title = {Location-Based Test Case Prioritization for Software Embedded in Mobile
Devices Using the Law of Gravitation},
journal = {Mob. Inf. Syst.},
volume = {2019},
pages = {9083956:1--9083956:14},
year = {2019},
url = {https://doi.org/10.1155/2019/9083956},
doi = {10.1155/2019/9083956},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mis/WangZGML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/GanXZMZ19,
author = {Yanglan Gan and
Yang Xiang and
Guobing Zou and
Huaikou Miao and
Bofeng Zhang},
editor = {Xinheng Wang and
Honghao Gao and
Muddesar Iqbal and
Geyong Min},
title = {Multi-label Recommendation of Web Services with the Combination of
Deep Neural Networks},
booktitle = {Collaborative Computing: Networking, Applications and Worksharing
- 15th {EAI} International Conference, CollaborateCom 2019, London,
UK, August 19-22, 2019, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {292},
pages = {133--150},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30146-0\_10},
doi = {10.1007/978-3-030-30146-0\_10},
timestamp = {Fri, 19 Jun 2020 11:35:42 +0200},
biburl = {https://dblp.org/rec/conf/colcom/GanXZMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tridentcom/2018,
editor = {Honghao Gao and
Yuyu Yin and
Xiaoxian Yang and
Huaikou Miao},
title = {Testbeds and Research Infrastructures for the Development of Networks
and Communications - 13th {EAI} International Conference, TridentCom
2018, Shanghai, China, December 1-3, 2018, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {270},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-12971-2},
doi = {10.1007/978-3-030-12971-2},
isbn = {978-3-030-12970-5},
timestamp = {Wed, 06 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tridentcom/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/XieCSM18,
author = {Lei Xie and
Shengbo Chen and
Wenfeng Shen and
Huaikou Miao},
title = {A Novel Self-Adaptive {VM} Consolidation Strategy Using Dynamic Multi-Thresholds
in IaaS Clouds},
journal = {Future Internet},
volume = {10},
number = {6},
pages = {52},
year = {2018},
url = {https://doi.org/10.3390/fi10060052},
doi = {10.3390/FI10060052},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/XieCSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GaoMLKZ18,
author = {Honghao Gao and
Huaikou Miao and
Lilan Liu and
Jinyu Kai and
Kun Zhao},
title = {Automated Quantitative Verification for Service-Based System Design:
{A} Visualization Transform Tool Perspective},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {28},
number = {10},
pages = {1369--1397},
year = {2018},
url = {https://doi.org/10.1142/S0218194018500390},
doi = {10.1142/S0218194018500390},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/GaoMLKZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/LinZGMW18,
author = {Weiwei Lin and
Hongwei Zeng and
Honghao Gao and
Huaikou Miao and
Xiaolin Wang},
title = {Test Sequence Reduction of Wireless Protocol Conformance Testing to
Internet of Things},
journal = {Secur. Commun. Networks},
volume = {2018},
pages = {3723691:1--3723691:13},
year = {2018},
url = {https://doi.org/10.1155/2018/3723691},
doi = {10.1155/2018/3723691},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scn/LinZGMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/ZouPWMNGZ18,
author = {Guobing Zou and
Shengye Pang and
Pengwei Wang and
Huaikou Miao and
Sen Niu and
Yanglan Gan and
Bofeng Zhang},
editor = {Honghao Gao and
Xinheng Wang and
Yuyu Yin and
Muddesar Iqbal},
title = {Neighborhood-Based Uncertain QoS Prediction of Web Services via Matrix
Factorization},
booktitle = {Collaborative Computing: Networking, Applications and Worksharing
- 14th {EAI} International Conference, CollaborateCom 2018, Shanghai,
China, December 1-3, 2018, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {268},
pages = {659--675},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12981-1\_46},
doi = {10.1007/978-3-030-12981-1\_46},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colcom/ZouPWMNGZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/WongZMGY18,
author = {Yu Wong and
Hongwei Zeng and
Huaikou Miao and
Honghao Gao and
Xiaoxian Yang},
editor = {Honghao Gao and
Xinheng Wang and
Yuyu Yin and
Muddesar Iqbal},
title = {The Cuckoo Search and Integer Linear Programming Based Approach to
Time-Aware Test Case Prioritization Considering Execution Environment},
booktitle = {Collaborative Computing: Networking, Applications and Worksharing
- 14th {EAI} International Conference, CollaborateCom 2018, Shanghai,
China, December 1-3, 2018, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {268},
pages = {734--754},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12981-1\_51},
doi = {10.1007/978-3-030-12981-1\_51},
timestamp = {Fri, 08 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colcom/WongZMGY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DuM18,
author = {Zhoujie Du and
Huaikou Miao},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Research Review on Web Service Composition Testing},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {39--51},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_3},
doi = {10.1007/978-3-030-13651-2\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/DuM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GaoDMY17,
author = {Honghao Gao and
Yucong Duan and
Huaikou Miao and
Yuyu Yin},
title = {An Approach to Data Consistency Checking for the Dynamic Replacement
of Service Process},
journal = {{IEEE} Access},
volume = {5},
pages = {11700--11711},
year = {2017},
url = {https://doi.org/10.1109/ACCESS.2017.2715322},
doi = {10.1109/ACCESS.2017.2715322},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/GaoDMY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijndc/WenM17,
author = {Weng Wen and
Huaikou Miao},
title = {Research on Service Recommendation Reliability in mobile computing},
journal = {Int. J. Networked Distributed Comput.},
volume = {5},
number = {3},
pages = {152--163},
year = {2017},
url = {https://doi.org/10.2991/ijndc.2017.5.3.4},
doi = {10.2991/IJNDC.2017.5.3.4},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijndc/WenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/XiaoMZC17,
author = {Lei Xiao and
Huaikou Miao and
Weiwei Zhuang and
Shaojun Chen},
editor = {Guobin Zhu and
Shaowen Yao and
Xiaohui Cui and
Simon Xu},
title = {An empirical study on clustering approach combining fault prediction
for test case prioritization},
booktitle = {16th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2017, Wuhan, China, May 24-26, 2017},
pages = {815--820},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICIS.2017.7960104},
doi = {10.1109/ICIS.2017.7960104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/XiaoMZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/LiXGBM17,
author = {Haibo Li and
Huahu Xu and
Honghao Gao and
Minjie Bian and
Huaikou Miao},
editor = {Imed Romdhani and
Lei Shu and
Takahiro Hara and
Zhangbing Zhou and
Timothy J. Gordon and
Deze Zeng},
title = {A 3D Registration Method Based on Indoor Positioning Through Networking},
booktitle = {Collaborative Computing: Networking, Applications and Worksharing
- 13th International Conference, CollaborateCom 2017, Edinburgh, UK,
December 11-13, 2017, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {252},
pages = {333--343},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00916-8\_31},
doi = {10.1007/978-3-030-00916-8\_31},
timestamp = {Tue, 29 Oct 2019 08:35:03 +0100},
biburl = {https://dblp.org/rec/conf/colcom/LiXGBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenZKM17,
author = {Yihai Chen and
Bofang Zhang and
Ridha Kh{\'{e}}dri and
Huaikou Miao},
editor = {Zhenhua Duan and
Luke Ong},
title = {A Framework for Multi-view Reconciliation and for Medical Devices
Personalization},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {71--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_5},
doi = {10.1007/978-3-319-68690-5\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenZKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/LiuXGBM17,
author = {Haoyu Liu and
Huahu Xu and
Honghao Gao and
Minjie Bian and
Huaikou Miao},
editor = {Tao Gu and
Ramamohanarao Kotagiri and
Huai Liu},
title = {An Novel Approach to Evaluate the Reliability of Cloud Rendering System
Using Probabilistic Model Checker {PRISM:} {A} Quantitative Computing
Perspective},
booktitle = {Proceedings of the 14th {EAI} International Conference on Mobile and
Ubiquitous Systems: Computing, Networking and Services, Melbourne,
Australia, November 7-10, 2017},
pages = {78--85},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3144457.3144460},
doi = {10.1145/3144457.3144460},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiquitous/LiuXGBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/WenM17,
author = {Weng Wen and
Huaikou Miao},
editor = {Liz Bacon and
Jixin Ma and
Lachlan M. MacKinnon},
title = {Research on service recommendation reliability in mobile computing},
booktitle = {15th {IEEE} International Conference on Software Engineering Research,
Management and Applications, {SERA} 2017, London, United Kingdom,
June 7-9, 2017},
pages = {345--350},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SERA.2017.7965750},
doi = {10.1109/SERA.2017.7965750},
timestamp = {Mon, 12 Oct 2020 16:45:55 +0200},
biburl = {https://dblp.org/rec/conf/sera/WenM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/LiM16,
author = {Ying Li and
Huaikou Miao},
title = {Guest Editors' Introduction},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {26},
number = {4},
pages = {537--538},
year = {2016},
url = {https://doi.org/10.1142/S0218194016020010},
doi = {10.1142/S0218194016020010},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/LiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ChenFM16,
author = {Shengbo Chen and
Hao Fu and
Huaikou Miao},
title = {Formal verification of security protocols using Spin},
booktitle = {15th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2016, Okayama, Japan, June 26-29, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICIS.2016.7550830},
doi = {10.1109/ICIS.2016.7550830},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ChenFM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/GaoMDK16,
author = {Honghao Gao and
Huaikou Miao and
Yucong Duan and
Jinyu Kai},
editor = {Jia Zhang and
John A. Miller and
Xiaofei Xu},
title = {Applying Probabilistic Model Checking to Service Discovery Framework},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2016,
San Francisco, CA, USA, June 27 - July 2, 2016},
pages = {782--785},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SCC.2016.106},
doi = {10.1109/SCC.2016.106},
timestamp = {Thu, 11 Apr 2024 20:25:44 +0200},
biburl = {https://dblp.org/rec/conf/IEEEscc/GaoMDK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasc/LiJMZJ16,
author = {Weimin Li and
Shu Jiang and
Huaikou Miao and
Xiaokang Zhou and
Qun Jin},
title = {Overlap Community Detection Based on Node Convergence Degree},
booktitle = {2016 {IEEE} 14th Intl Conf on Dependable, Autonomic and Secure Computing,
14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf
on Big Data Intelligence and Computing and Cyber Science and Technology
Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand,
August 8-12, 2016},
pages = {163--167},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2016.46},
doi = {10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2016.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasc/LiJMZJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/es/WenM16,
author = {Weng Wen and
Huaikou Miao},
editor = {Gang Li and
Yale Yu},
title = {Context-Based Service Recommendation System Using Probability Model
in Mobile Devices},
booktitle = {4th International Conference on Enterprise Systems, {ES} 2016, Melbourne,
Australia, November 2-3, 2016},
pages = {178--182},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ES.2016.29},
doi = {10.1109/ES.2016.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/es/WenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/HuXMM16,
author = {Gongzhu Hu and
Tan Xi and
Faraz Mohammed and
Huaikou Miao},
title = {Classification of wine quality with imbalanced data},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2016,
Taipei, Taiwan, March 14-17, 2016},
pages = {1712--1217},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICIT.2016.7475021},
doi = {10.1109/ICIT.2016.7475021},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/icit2/HuXMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sate/XiaoMZC16,
author = {Lei Xiao and
Huaikou Miao and
Weiwei Zhuang and
Shaojun Chen},
title = {Applying Assemble Clustering Algorithm and Fault Prediction to Test
Case Prioritization},
booktitle = {International Conference on Software Analysis, Testing and Evolution,
{SATE} 2016, Kunming, China, November 3-4, 2016},
pages = {108--116},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SATE.2016.25},
doi = {10.1109/SATE.2016.25},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/sate/XiaoMZC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/MiMKG16,
author = {Chengyang Mi and
Huaikou Miao and
Jinyu Kai and
Honghao Gao},
editor = {Yeong{-}Tae Song},
title = {Reliability modeling and verification of BPEL-based web services composition
by probabilistic model checking},
booktitle = {14th {IEEE} International Conference on Software Engineering Research,
Management and Applications, {SERA} 2016, Towson, MD, USA, June 8-10,
2016},
pages = {149--154},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SERA.2016.7516140},
doi = {10.1109/SERA.2016.7516140},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/MiMKG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/XuMSD16,
author = {Qingguo Xu and
Huaikou Miao and
Robert de Simone and
Julien DeAntoni},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Instant-Based and State-Based Analysis of Infinite Logical Clock},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {32--51},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_3},
doi = {10.1007/978-3-319-57708-1\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/XuMSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangMM16,
author = {Xi Wang and
Huaikou Miao and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Automated Safety Analysis on Scenario-Based Requirements for Train
Control System},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {55--73},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_4},
doi = {10.1007/978-3-319-57708-1\_4},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijndc/ChenSM15,
author = {Shengbo Chen and
Dashen Sun and
Huaikou Miao},
title = {The Influence of Alias and References Escape on Java Program Analysis},
journal = {Int. J. Networked Distributed Comput.},
volume = {3},
number = {1},
pages = {11--20},
year = {2015},
url = {https://doi.org/10.2991/ijndc.2015.3.1.2},
doi = {10.2991/IJNDC.2015.3.1.2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijndc/ChenSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsinnov/KaiMZZG15,
author = {Jinyu Kai and
Huaikou Miao and
Kun Zhao and
Jiaan Zhou and
Honghao Gao},
title = {A Platform for Analyzing Behaviors of Service-Oriented Application
Based on the Probabilistic Model Checking},
journal = {Int. J. Softw. Innov.},
volume = {3},
number = {2},
pages = {24--38},
year = {2015},
url = {https://doi.org/10.4018/ijsi.2015040104},
doi = {10.4018/IJSI.2015040104},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsinnov/KaiMZZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/ChangMX15,
author = {Longhui Chang and
Huaikou Miao and
Lei Xiao},
title = {{\unicode{22522}}{\unicode{20110}}{\unicode{21382}}{\unicode{21490}}{\unicode{20449}}{\unicode{24687}}{\unicode{30340}}{\unicode{33258}}{\unicode{36866}}{\unicode{24212}}{\unicode{27979}}{\unicode{35797}}{\unicode{29992}}{\unicode{20363}}{\unicode{20248}}{\unicode{20808}}{\unicode{32423}}{\unicode{25216}}{\unicode{26415}}
(Self-adaptive Test Case Prioritization Based on History Information)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {9},
pages = {154--158},
year = {2015},
url = {https://doi.org/10.11896/j.issn.1002-137X.2015.09.030},
doi = {10.11896/J.ISSN.1002-137X.2015.09.030},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/ChangMX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/KaiMG15,
author = {Jinyu Kai and
Huaikou Miao and
Honghao Gao},
title = {Web{\unicode{26381}}{\unicode{21153}}{\unicode{35745}}{\unicode{31639}}{\unicode{32452}}{\unicode{21512}}{\unicode{27969}}{\unicode{31243}}QoS{\unicode{39564}}{\unicode{35777}}
(Verification QoS of Web Services Compositional Processes)},
journal = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
volume = {42},
number = {12},
pages = {120--123},
year = {2015},
url = {http://www.jsjkx.com/CN/Y2015/V42/I12/120},
doi = {Y2015/V42/I12/120},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsjkx/KaiMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/LiM15,
author = {Zhuang Li and
Huaikou Miao},
editor = {Takayuki Ito and
Yanggon Kim and
Naoki Fukuta},
title = {Formal specification and reasoning for situated multi-agent system},
booktitle = {14th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2015, Las Vegas, NV, USA, June 28 - July 1, 2015},
pages = {455--460},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICIS.2015.7166636},
doi = {10.1109/ICIS.2015.7166636},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/LiM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acit2/ZhaoMKZG15,
author = {Kun Zhao and
Huaikou Miao and
Jinyu Kai and
Jiaan Zhou and
Honghao Gao},
title = {A Visual Modeling and Transformation Tool for Multiple Representations
of Probabilistic Behavior Model},
booktitle = {3rd International Conference on Applied Computing and Information
Technology, {ACIT} 2015/2nd International Conference on Computational
Science and Intelligence, {CSI} 2015, Okayama, Japan, July 12-16,
2015},
pages = {73--78},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACIT-CSI.2015.21},
doi = {10.1109/ACIT-CSI.2015.21},
timestamp = {Tue, 07 Nov 2023 10:29:09 +0100},
biburl = {https://dblp.org/rec/conf/acit2/ZhaoMKZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ZhouMKZG15,
author = {Jiaan Zhou and
Huaikou Miao and
Jinyu Kai and
Kun Zhao and
Honghao Gao},
title = {Survivability prediction of web system based on log statistics},
booktitle = {16th {IEEE/ACIS} International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing,
{SNPD} 2015, Takamatsu, Japan, June 1-3, 2015},
pages = {13--18},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SNPD.2015.7176170},
doi = {10.1109/SNPD.2015.7176170},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ZhouMKZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuangCKM15,
author = {Mao Huang and
Yihai Chen and
Ridha Kh{\'{e}}dri and
Huaikou Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {The Interchange Format of Tabular Expressions Using {XML}},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {29--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_3},
doi = {10.1007/978-3-319-31220-0\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/HuangCKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChenSMZ14,
author = {Shengbo Chen and
Dashen Sun and
Huaikou Miao and
Hongwei Zeng},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {Modeling and Testing of GUIs Using {IOLTS}},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.14},
doi = {10.1109/APSEC.2014.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChenSMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GaoMZ14,
author = {Honghao Gao and
Huaikou Miao and
Hongwei Zeng},
title = {Service Reconfiguration Architecture Based on Probabilistic Modeling
Checking},
booktitle = {2014 {IEEE} International Conference on Web Services, ICWS, 2014,
Anchorage, AK, USA, June 27 - July 2, 2014},
pages = {714--715},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICWS.2014.112},
doi = {10.1109/ICWS.2014.112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/GaoMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/ZengLM14,
author = {Min Zeng and
Pan Liu and
Huaikou Miao},
title = {The Design and Implementation of a Modeling Tool for Regular Expressions},
booktitle = {{IIAI} 3rd International Conference on Advanced Applied Informatics,
{IIAI-AAI} 2014, Kokura Kita-ku, Japan, August 31 - Sept. 4, 2014},
pages = {726--731},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IIAI-AAI.2014.148},
doi = {10.1109/IIAI-AAI.2014.148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiaiaai/ZengLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/KaiMG14,
author = {Jinyu Kai and
Huaikou Miao and
Honghao Gao},
title = {A requirements description language pLSC for probabilistic branches
and three-stage events},
booktitle = {15th {IEEE/ACIS} International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing,
{SNPD} 2014, Las Vegas, NV, USA, June 30 - July 2, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SNPD.2014.6888714},
doi = {10.1109/SNPD.2014.6888714},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/KaiMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChangML14,
author = {Longhui Chang and
Huaikou Miao and
Gongzheng Lu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Implementation Framework for Optimizing Test Case Generation Using
Model Checking},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {3--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_1},
doi = {10.1007/978-3-319-17404-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChangML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:series/sci/ChenSM15,
author = {Shengbo Chen and
Dashen Sun and
Huaikou Miao},
editor = {Roger Y. Lee},
title = {The Influence of Alias and References Escape on Java Program Analysis},
booktitle = {Software Engineering Research, Management and Applications [selected
papers from the 12th International Conference on Software Engineering
Research, Management and Applications, {SERA} 2014, Kitakyushu, Japan,
2014]},
series = {Studies in Computational Intelligence},
volume = {578},
pages = {99--111},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11265-7\_8},
doi = {10.1007/978-3-319-11265-7\_8},
timestamp = {Tue, 25 Sep 2018 15:52:34 +0200},
biburl = {https://dblp.org/rec/series/sci/ChenSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/GaoM13,
author = {Honghao Gao and
Huaikou Miao},
title = {Research on the dynamic reconfiguration of Web application using two-phase
compatibility verification},
journal = {Int. J. Comput. Math.},
volume = {90},
number = {11},
pages = {2265--2278},
year = {2013},
url = {https://doi.org/10.1080/00207160.2013.782398},
doi = {10.1080/00207160.2013.782398},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/GaoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/LiuMZML13,
author = {Yang Liu and
Huaikou Miao and
Hongwei Zeng and
Yan Ma and
Pan Liu},
title = {Nondeterministic Probabilistic Petri Net - {A} New Method to Study
Qualitative and Quantitative Behaviors of System},
journal = {J. Comput. Sci. Technol.},
volume = {28},
number = {1},
pages = {203--216},
year = {2013},
url = {https://doi.org/10.1007/s11390-013-1323-7},
doi = {10.1007/S11390-013-1323-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/LiuMZML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/Miao13,
author = {Huaikou Miao},
title = {An approach to service dynamic reconfiguration using probabilistic
model checking},
booktitle = {2013 {IEEE/ACIS} 12th International Conference on Computer and Information
Science, {ICIS} 2013, Niigata, Japan, June 16-20, 2013},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICIS.2013.6607807},
doi = {10.1109/ICIS.2013.6607807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/Miao13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/LiangLM13,
author = {Beilei Liang and
Pan Liu and
Huaikou Miao},
title = {Scenario specification based testing model generation},
booktitle = {2013 {IEEE/ACIS} 12th International Conference on Computer and Information
Science, {ICIS} 2013, Niigata, Japan, June 16-20, 2013},
pages = {335--340},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICIS.2013.6607863},
doi = {10.1109/ICIS.2013.6607863},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/LiangLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ChenM13,
author = {Ruifeng Chen and
Huaikou Miao},
title = {A Selenium based approach to automatic test script generation for
refactoring JavaScript code},
booktitle = {2013 {IEEE/ACIS} 12th International Conference on Computer and Information
Science, {ICIS} 2013, Niigata, Japan, June 16-20, 2013},
pages = {341--346},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICIS.2013.6607864},
doi = {10.1109/ICIS.2013.6607864},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ChenM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChenMC13,
author = {Chao Chen and
Huaikou Miao and
Yihai Chen},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Concept Analysis Based Approach to Statistical Web Testing},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {100--117},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_7},
doi = {10.1007/978-3-642-39698-4\_7},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ChenMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/ChenCMW13,
author = {Chao Chen and
Yihai Chen and
Huaikou Miao and
Hao Wang},
editor = {Elhadi M. Shakshuki},
title = {Usage-pattern based Statistical Web Testing and Reliability Measurement},
booktitle = {The 4th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN-2013)} and the 3rd International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare (ICTH), Niagara Falls, Ontario, Canada, October 21-24,
2013},
series = {Procedia Computer Science},
volume = {21},
pages = {140--147},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.procs.2013.09.020},
doi = {10.1016/J.PROCS.2013.09.020},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/euspn/ChenCMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/LiM13,
author = {Zhuang Li and
Huaikou Miao},
title = {Introducing Agents in Multi-agent System with Superposition Refinement},
booktitle = {14th {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2013, Honolulu, Hawaii, USA, 1-3 July, 2013},
pages = {342--347},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SNPD.2013.67},
doi = {10.1109/SNPD.2013.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/LiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/GaoM13,
author = {Honghao Gao and
Huaikou Miao},
title = {A Quantitative Model-Based Selection of Web Service Reconfiguration},
booktitle = {14th {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2013, Honolulu, Hawaii, USA, 1-3 July, 2013},
pages = {365--371},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SNPD.2013.19},
doi = {10.1109/SNPD.2013.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/GaoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuM13,
author = {Pan Liu and
Huaikou Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Theory of Test Modeling Based on Regular Expressions},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {17--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_2},
doi = {10.1007/978-3-319-04915-1\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LuM13,
author = {Gongzheng Lu and
Huaikou Miao},
title = {Feasibility Analysis of the {EFSM} Transition Path Combining Slicing
with Theorem Proving},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {153--156},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.29},
doi = {10.1109/TASE.2013.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LuM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuM14,
author = {Gongzheng Lu and
Huaikou Miao},
editor = {Jinyun Xue and
Volker Stolz},
title = {An Approach to Generating Test Data for {EFSM} Paths Considering Condition
Coverage},
booktitle = {Proceedings of the Sixth International Workshop on Harnessing Theories
for Tool Support for Software, {TTSS} 2013, Jiangxi Normal University,
Nanchang, China, October 27, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {309},
pages = {13--29},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.12.003},
doi = {10.1016/J.ENTCS.2014.12.003},
timestamp = {Tue, 22 Nov 2022 11:09:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/SunMCG12,
author = {Dandan Sun and
Huaikou Miao and
Shengbo Chen and
Honghao Gao},
editor = {Teruhisa Hochin and
Roger Y. Lee},
title = {An Approach to Modeling and Verifying Router-Based Network},
booktitle = {13th {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2012, Kyoto, Japan, August 8-10, 2012},
pages = {283--288},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SNPD.2012.88},
doi = {10.1109/SNPD.2012.88},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/SunMCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/XuMG12,
author = {Shengwei Xu and
Huaikou Miao and
Honghao Gao},
editor = {Teruhisa Hochin and
Roger Y. Lee},
title = {Test Suite Reduction Using Weighted Set Covering Techniques},
booktitle = {13th {ACIS} International Conference on Software Engineering, Artificial
Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
2012, Kyoto, Japan, August 8-10, 2012},
pages = {307--312},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SNPD.2012.87},
doi = {10.1109/SNPD.2012.87},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/XuMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACISicis/2012,
editor = {Huaikou Miao and
Roger Y. Lee and
Hongwei Zeng and
Jongmoon Baik},
title = {2012 {IEEE/ACIS} 11th International Conference on Computer and Information
Science, Shanghai, China, May 30 - June 1, 2012},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://ieeexplore.ieee.org/xpl/conhome/6210990/proceeding},
isbn = {978-1-4673-1536-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ACISicis/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgit/WangLM11,
author = {Xi Wang and
Shaoying Liu and
Huaikou Miao},
editor = {Tai{-}Hoon Kim and
Hojjat Adeli and
Haeng{-}Kon Kim and
Heau{-}Jo Kang and
Kyung Jung Kim and
Kiumi Akingbehin and
Byeong Ho Kang},
title = {A Pattern-Based Approach to Formal Specification Construction},
booktitle = {Software Engineering, Business Continuity, and Education - International
Conferences ASEA, {DRBC} and {EL} 2011, Held as Part of the Future
Generation Information Technology Conference, {FGIT} 2011, in Conjunction
with {GDC} 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings},
series = {Communications in Computer and Information Science},
volume = {257},
pages = {159--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27207-3\_16},
doi = {10.1007/978-3-642-27207-3\_16},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgit/WangLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfce/ChenMS11,
author = {Shengbo Chen and
Huaikou Miao and
Bo Song},
editor = {Sabo Sambath and
Egui Zhu},
title = {{AGT4W:} Automatic Generating Tests for Web Applications},
booktitle = {Frontiers in Computer Education [International Conference on Frontiers
in Computer Education, {ICFCE} 2011, Macao, China, December 1-2, 2011]},
series = {Advances in Intelligent and Soft Computing},
volume = {133},
pages = {885--892},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27552-4\_116},
doi = {10.1007/978-3-642-27552-4\_116},
timestamp = {Tue, 23 May 2017 01:13:09 +0200},
biburl = {https://dblp.org/rec/conf/icfce/ChenMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/LiuMZL11,
author = {Yang Liu and
Huaikou Miao and
Hongwei Zeng and
Zhuang Li},
title = {Probabilistic Petri Net and its Logical Semantics},
booktitle = {9th International Conference on Software Engineering Research, Management
and Applications, {SERA} 2011, Baltimore, MD, USA, August 10-12, 2011},
pages = {73--78},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SERA.2011.32},
doi = {10.1109/SERA.2011.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/LiuMZL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/GaoMCM11,
author = {Honghao Gao and
Huaikou Miao and
Shengbo Chen and
Jia Mei},
title = {Probabilistic Timed Model Checking for Atomic Web Service},
booktitle = {World Congress on Services, {SERVICES} 2011, Washington, DC, USA,
July 4-9, 2011},
pages = {459--466},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SERVICES.2011.42},
doi = {10.1109/SERVICES.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/services/GaoMCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/GaoMZ11,
author = {Honghao Gao and
Huaikou Miao and
Hongwei Zeng},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Research on Web Service Composition Using Probabilistic Abstraction
Refinement},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {161--168},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.38},
doi = {10.1109/TASE.2011.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/GaoMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenM11,
author = {Shengbo Chen and
Huaikou Miao},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {Modeling and Verifying for Frameset-Based Web Applications},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.46},
doi = {10.1109/TASE.2011.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChenM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdcta/MeiMCG10,
author = {Jia Mei and
Huaikou Miao and
Yihai Chen and
Honghao Gao},
title = {Verifying Web Services Composition Based on Interface Automata Using
{SPIN}},
journal = {J. Digit. Content Technol. its Appl.},
volume = {4},
number = {8},
pages = {23--33},
year = {2010},
url = {http://www.aicit.org/jdcta/ppl/JDCTA0408\_03.pdf},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdcta/MeiMCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ZhouM10,
author = {Xiaokang Zhou and
Huaikou Miao},
editor = {Tokuro Matsuo and
Naohiro Ishii and
Roger Y. Lee},
title = {Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application},
booktitle = {9th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2010, 18-20 August 2010, Yamagata, Japan},
pages = {763--769},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICIS.2010.37},
doi = {10.1109/ICIS.2010.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ZhouM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/MeiMXL10,
author = {Jia Mei and
Huaikou Miao and
Qingguo Xu and
Pan Liu},
editor = {Tokuro Matsuo and
Naohiro Ishii and
Roger Y. Lee},
title = {Modeling and Verifying Web Service Applications with Time Constraints},
booktitle = {9th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2010, 18-20 August 2010, Yamagata, Japan},
pages = {791--795},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICIS.2010.20},
doi = {10.1109/ICIS.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/MeiMXL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/PhilbertXMLC10,
author = {Nduwimfura Philbert and
Dong Xu and
Huaikou Miao and
Zhou Lei and
Bo Chen},
title = {Reasoning on Formalizing {WS-CDL} Mobility Using Process Algebra},
booktitle = {5th {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2010,
6-10 December 2010, Hangzhou, China, Proceedings},
pages = {676--682},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSCC.2010.52},
doi = {10.1109/APSCC.2010.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/PhilbertXMLC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/LiuM10,
author = {Pan Liu and
Huaikou Miao},
title = {A New Approach to Generating High Quality Test Cases},
booktitle = {Proceedings of the 19th {IEEE} Asian Test Symposium, {ATS} 2010, 1-4
December 2010, Shanghai, China},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ATS.2010.21},
doi = {10.1109/ATS.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/LiuM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangLM10,
author = {Xi Wang and
Shaoying Liu and
Huaikou Miao},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Pattern System to Support Refining Informal Ideas into Formal Expressions},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {662--677},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_43},
doi = {10.1007/978-3-642-16901-4\_43},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/WangLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwl/ChenM10,
author = {Yihai Chen and
Huaikou Miao},
editor = {Xiangfeng Luo and
Yiwei Cao and
Bo Yang and
Jianxun Liu and
Feiyue Ye},
title = {The Application of Moodle in Computer English Teaching},
booktitle = {New Horizons in Web-Based Learning - {ICWL} 2010 Workshops - {ICWL}
2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China,
December 7-11, 2010 Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6537},
pages = {169--176},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20539-2\_19},
doi = {10.1007/978-3-642-20539-2\_19},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icwl/ChenM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/LiMC10,
author = {Liping Li and
Huaikou Miao and
Shengbo Chen},
editor = {Jixin Ma and
Liz Bacon and
Wencai Du and
Miltos Petridis},
title = {Test Generation for Web Applications Using Model-Checking},
booktitle = {11th {ACIS} International Conference on Software Engineering, Artificial
Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
2010, London, England, UK, June 9-11, 2010},
pages = {237--242},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SNPD.2010.43},
doi = {10.1109/SNPD.2010.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/LiMC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/ChenZMG10,
author = {Zhongyu Chen and
Jichang Zhang and
Huaikou Miao and
Zhenghu Guo},
title = {A Formal Modeling for Component Behaviors Based on Event Track},
booktitle = {The Fifth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2010, June 4-5, 2010, Nanjing, China},
pages = {113--116},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SOSE.2010.9},
doi = {10.1109/SOSE.2010.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/ChenZMG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MiaoLM10,
author = {Huaikou Miao and
Pan Liu and
Jia Mei},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {An Improved Algorithm for Building the Characterizing Set},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.14},
doi = {10.1109/TASE.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MiaoLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenMSC10,
author = {Shengbo Chen and
Huaikou Miao and
Bo Song and
Yihai Chen},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {Towards Practical Modeling of Web Applications and Generating Tests},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {209--217},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.25},
doi = {10.1109/TASE.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ChenMSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/ZengM10,
author = {Hongwei Zeng and
Huaikou Miao},
editor = {Roger Y. Lee},
title = {Deadlock Detection for Parallel Composition of Components},
booktitle = {Computer and Information Science 2010 [outstanding papers from the
9th {ACIS/IEEE} International Conference on Computer and Information
Science, Kaminoyama, Japan, August 18-20, 2010]},
series = {Studies in Computational Intelligence},
volume = {317},
pages = {23--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15405-8\_3},
doi = {10.1007/978-3-642-15405-8\_3},
timestamp = {Wed, 16 Jun 2021 10:42:45 +0200},
biburl = {https://dblp.org/rec/series/sci/ZengM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/LiuML09,
author = {Pan Liu and
Huaikou Miao and
Qing Li},
editor = {Huaikou Miao and
Gongzhu Hu},
title = {A Common Acquaintance Immunization Strategy for Complex Network},
booktitle = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
pages = {713--717},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIS.2009.68},
doi = {10.1109/ICIS.2009.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/LiuML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/XuMP09,
author = {Dong Xu and
Huaikou Miao and
Nduwimfura Philbert},
editor = {Huaikou Miao and
Gongzhu Hu},
title = {Model Checking {UML} Activity Diagrams in {FDR}},
booktitle = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
pages = {1035--1040},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIS.2009.107},
doi = {10.1109/ICIS.2009.107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/XuMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/HeML09,
author = {Tao He and
Huaikou Miao and
Liping Li},
editor = {Huaikou Miao and
Gongzhu Hu},
title = {A Web Service Composition Method Based on Interface Matching},
booktitle = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
pages = {1150--1154},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIS.2009.50},
doi = {10.1109/ICIS.2009.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/HeML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ZhuMS09,
author = {Bin Zhu and
Huaikou Miao and
Bo Song},
editor = {Huaikou Miao and
Gongzhu Hu},
title = {User-interface Design of Web Application Using Object-Z},
booktitle = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
pages = {1200--1204},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIS.2009.117},
doi = {10.1109/ICIS.2009.117},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ZhuMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cso/HeML09,
author = {Tao He and
Huaikou Miao and
Liping Li},
editor = {Lean Yu and
Kin Keung Lai and
Shashi Kant Mishra},
title = {Analysis and Composition of Web Components Based on p-Calculus},
booktitle = {Proceedings of the Second International Joint Conference on Computational
Sciences and Optimization, {CSO} 2009, Sanya, Hainan, China, 24-26
April 2009, Volume 1},
pages = {677--679},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSO.2009.387},
doi = {10.1109/CSO.2009.387},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cso/HeML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/GaoM09,
author = {Xiaolei Gao and
Huaikou Miao},
title = {Proving Total Correctness of Refinement Based on Tableau},
booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing
with Applications, {ISPA} 2009, Chengdu, Sichuan, China, 10-12 August
2009},
pages = {702--707},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISPA.2009.48},
doi = {10.1109/ISPA.2009.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/GaoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MiaoLMZ09,
author = {Huaikou Miao and
Pan Liu and
Jia Mei and
Hongwei Zeng},
title = {A New Approach to Automated Redundancy Reduction for Test Sequences},
booktitle = {2009 15th {IEEE} Pacific Rim International Symposium on Dependable
Computing, {PRDC} 2009, Shanghai, China, 16-18 November 2009},
pages = {93--98},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/PRDC.2009.23},
doi = {10.1109/PRDC.2009.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MiaoLMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sera/ChenM09,
author = {Zhongyu Chen and
Huaikou Miao},
editor = {Roger Y. Lee and
Wencai Du and
Haeng{-}Kon Kim and
Shaochun Xu},
title = {An Abstract Approach to Describing Scenario-Based Specifications},
booktitle = {Proceedings of the Seventh {ACIS} International Conference on Software
Engineering Research, Management and Applications, {SERA} 2009, Haikou,
China, 2-4 December 2009},
pages = {127--131},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SERA.2009.15},
doi = {10.1109/SERA.2009.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sera/ChenM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/XuM09,
author = {Qingguo Xu and
Huaikou Miao},
editor = {Haeng{-}Kon Kim and
Roger Y. Lee},
title = {Manipulating Clocks in Timed Automata Using {PVS}},
booktitle = {10th {ACIS} International Conference on Software Engineering, Artificial
Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
2009, in conjunction with 3rd International Workshop on e-Activity,
{IWEA} 2009, 1st International Workshop on Enterprise Architecture
Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
Daegu, Korea, 27-29 May 2009},
pages = {555--560},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SNPD.2009.69},
doi = {10.1109/SNPD.2009.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/XuM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/MeiML09,
author = {Jia Mei and
Huaikou Miao and
Pan Liu},
editor = {Haeng{-}Kon Kim and
Roger Y. Lee},
title = {A Novel Approach for On-the-Fly Test Cases Synthesis},
booktitle = {10th {ACIS} International Conference on Software Engineering, Artificial
Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
2009, in conjunction with 3rd International Workshop on e-Activity,
{IWEA} 2009, 1st International Workshop on Enterprise Architecture
Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
Daegu, Korea, 27-29 May 2009},
pages = {575--578},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SNPD.2009.1},
doi = {10.1109/SNPD.2009.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/MeiML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/ZhuMC09,
author = {Bin Zhu and
Huaikou Miao and
Lizhi Cai},
editor = {Haeng{-}Kon Kim and
Roger Y. Lee},
title = {Testing a Web Application Involving Web Browser Interaction},
booktitle = {10th {ACIS} International Conference on Software Engineering, Artificial
Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
2009, in conjunction with 3rd International Workshop on e-Activity,
{IWEA} 2009, 1st International Workshop on Enterprise Architecture
Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
Daegu, Korea, 27-29 May 2009},
pages = {589--594},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SNPD.2009.59},
doi = {10.1109/SNPD.2009.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/ZhuMC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/SongM09,
author = {Bo Song and
Huaikou Miao},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Modeling Web Applications and Generating Tests: {A} Combination and
Interactions-guided Approach},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.54},
doi = {10.1109/TASE.2009.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/SongM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/MiaoHL09,
author = {Huaikou Miao and
Tao He and
Liping Li},
editor = {Roger Y. Lee and
Gongzhu Hu and
Huaikou Miao},
title = {Formal Semantics of {OWL-S} with F-Logic},
booktitle = {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]},
series = {Studies in Computational Intelligence},
volume = {208},
pages = {105--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01209-9\_10},
doi = {10.1007/978-3-642-01209-9\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/MiaoHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SongMZ09,
author = {Bo Song and
Huaikou Miao and
Bin Zhu},
editor = {Roger Y. Lee and
Gongzhu Hu and
Huaikou Miao},
title = {Extracting Database Interactions and Generating Test for Web Applications},
booktitle = {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]},
series = {Studies in Computational Intelligence},
volume = {208},
pages = {203--212},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01209-9\_19},
doi = {10.1007/978-3-642-01209-9\_19},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/SongMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACISicis/2009,
editor = {Huaikou Miao and
Gongzhu Hu},
title = {8th {IEEE/ACIS} International Conference on Computer and Information
Science, {IEEE/ACIS} {ICIS} 2009, June 1-3, 2009, Shanghai, China},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5222859/proceeding},
isbn = {978-0-7695-3641-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ACISicis/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sci/2009-208,
editor = {Roger Y. Lee and
Gongzhu Hu and
Huaikou Miao},
title = {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]},
series = {Studies in Computational Intelligence},
volume = {208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01209-9},
doi = {10.1007/978-3-642-01209-9},
isbn = {978-3-642-01208-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/2009-208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/WangMG08,
author = {Xi Wang and
Huaikou Miao and
Liang Guo},
title = {Towards Automatic Transformation from {UML} Model to {FSM} Model for
Web Applications},
journal = {J. Softw. Eng. Appl.},
volume = {1},
number = {1},
pages = {68--75},
year = {2008},
url = {https://doi.org/10.4236/jsea.2008.11010},
doi = {10.4236/JSEA.2008.11010},
timestamp = {Mon, 21 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsea/WangMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChenMQ08,
author = {Shengbo Chen and
Huaikou Miao and
Zhong{-}sheng Qian},
title = {Modeling and Verifying Web Browser Interactions},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {351--358},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.34},
doi = {10.1109/APSEC.2008.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChenMQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chinagrid/LeiML08,
author = {Yongmei Lei and
Huaikou Miao and
Lijie Li},
title = {Research of a Grid-enabled Parallel Computational Model and Algorithm
Implementation},
booktitle = {The Third ChinaGrid Annual Conference, ChinaGrid 2008, Dunhuang, Gansu,
Chian, 20-22 August, 2008},
pages = {311--316},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ChinaGrid.2008.34},
doi = {10.1109/CHINAGRID.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chinagrid/LeiML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/SongMC08,
author = {Bo Song and
Huaikou Miao and
Shengbo Chen},
title = {Modeling Web Browser Interactions and Generating Tests},
booktitle = {2008 International Conference on Computational Intelligence and Security,
{CIS} 2008, 13-17 December 2008, Suzhou, China, Volume 2, Workshop
Papers},
pages = {399--404},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CIS.2008.188},
doi = {10.1109/CIS.2008.188},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cis/SongMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/WangGM08,
author = {Xi Wang and
Liang Guo and
Huaikou Miao},
title = {An Approach to Transforming {UML} Model to {FSM} Model for Automatic
Testing},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 2: Software Engineering, December 12-14, 2008,
Wuhan, China},
pages = {251--254},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.700},
doi = {10.1109/CSSE.2008.700},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/WangGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/ChenMS08,
author = {Zhongyu Chen and
Huaikou Miao and
Bo Song},
title = {A New Formal Modeling Approach for Requirement},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 2: Software Engineering, December 12-14, 2008,
Wuhan, China},
pages = {267--270},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.989},
doi = {10.1109/CSSE.2008.989},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/ChenMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/WangYMT08,
author = {Minghui Wang and
Jie Yuan and
Huaikou Miao and
Gemiao Tan},
title = {A Static Analysis Approach for Automatic Generating Test Cases for
Web Applications},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 2: Software Engineering, December 12-14, 2008,
Wuhan, China},
pages = {751--754},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.716},
doi = {10.1109/CSSE.2008.716},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/WangYMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcst/GaoM08,
author = {Xiaolei Gao and
Huaikou Miao},
title = {The Axiomatic Semantics of {PDFD}},
booktitle = {Japan-China Joint Workshop on Frontier of Computer Science and Technology,
{FCST} 2008, Nagasahi, Japan, 27-28 December, 2008},
pages = {139--146},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/FCST.2008.18},
doi = {10.1109/FCST.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fcst/GaoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/CaoMX08,
author = {Xiaoxia Cao and
Huaikou Miao and
Qingguo Xu},
title = {Verifying Service-Oriented Requirements Using Model Checking},
booktitle = {2008 {IEEE} International Conference on e-Business Engineering, {ICEBE}
2008, Xi'an, China, October 22-24, 2008},
pages = {643--648},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICEBE.2008.30},
doi = {10.1109/ICEBE.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/CaoMX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/MiaoHQ08,
author = {Huaikou Miao and
Tao He and
Zhong{-}sheng Qian},
title = {Modeling and Analyzing Composite Semantic Web Service Using Petri
Nets},
booktitle = {2008 {IEEE} International Conference on e-Business Engineering, {ICEBE}
2008, Xi'an, China, October 22-24, 2008},
pages = {660--664},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICEBE.2008.51},
doi = {10.1109/ICEBE.2008.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/MiaoHQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/HeM08,
author = {Tao He and
Huaikou Miao},
editor = {Maozu Guo and
Liang Zhao and
Lipo Wang},
title = {Modeling and Composition of Web Application Components using Extended
{FSM}},
booktitle = {Fourth International Conference on Natural Computation, {ICNC} 2008,
Jinan, Shandong, China, 18-20 October 2008, Volume 6},
pages = {363--368},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICNC.2008.889},
doi = {10.1109/ICNC.2008.889},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnc/HeM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/ZhangML08,
author = {Xinlin Zhang and
Huaikou Miao and
Shenghong Li},
title = {An Approach to Checking the Compatibility for Web Services Specification
Based on the Typed Graph Category},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {416--421},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.410},
doi = {10.1109/ICYCS.2008.410},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/ZhangML08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscsct/LiMQ08,
author = {Liping Li and
Huaikou Miao and
Zhong{-}sheng Qian},
title = {A UML-Based Approach to Testing Web Applications},
booktitle = {2008 International Symposium on Computer Science and Computational
Technology, {ISCSCT} 2008, 20-22 December 2008, Shanghai, China, 2
Volumes},
pages = {397--401},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISCSCT.2008.186},
doi = {10.1109/ISCSCT.2008.186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscsct/LiMQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MiaoCQ08,
author = {Huaikou Miao and
Xiaoxia Cao and
Zhong{-}sheng Qian},
editor = {Jonathan Lee and
Deron Liang and
Y. C. Cheng},
title = {Refining Service-Oriented Model Using Interpretation Mapping},
booktitle = {The Fourth {IEEE} International Symposium on Service-Oriented System
Engineering, {SOSE} 2008, 18-19 December 2008, Jhongli, Taiwan},
pages = {85--90},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SOSE.2008.20},
doi = {10.1109/SOSE.2008.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/MiaoCQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/CaoMX08,
author = {Xiaoxia Cao and
Huaikou Miao and
Qingguo Xu},
title = {Modeling and Refining the Service-Oriented Requirement},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {159--165},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.30},
doi = {10.1109/TASE.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/CaoMX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MiaoQS08,
author = {Huaikou Miao and
Zhong{-}sheng Qian and
Bo Song},
title = {Towards Automatically Generating Test Paths for Web Application Testing},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {211--218},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.26},
doi = {10.1109/TASE.2008.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/MiaoQS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/MiaoQH07,
author = {Huaikou Miao and
Zhong{-}sheng Qian and
Tao He},
editor = {Jie Li and
Minyi Guo and
Qun Jin and
Yongbing Zhang and
Liang{-}Jie Zhang and
Hai Jin and
Masahiro Mambo and
Jiro Tanaka and
Hiromu Hayashi},
title = {Modeling Web Browser Interactions Using {FSM}},
booktitle = {Proceedings of The 2nd {IEEE} Asia-Pacific Services Computing Conference,
{APSCC} 2007, December 11-14, 2007, Tsukuba Science City, Japan},
pages = {211--217},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSCC.2007.13},
doi = {10.1109/APSCC.2007.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/MiaoQH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/MiaoCQ07,
author = {Huaikou Miao and
Shengbo Chen and
Zhong{-}sheng Qian},
title = {A Formal Open Framework Based on Agent for Testing Web Applications},
booktitle = {Computational Intelligence and Security, International Conference,
{CIS} 2007, Harbin, Heilongjiang, China, December 15-19, 2007},
pages = {281--285},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CIS.2007.200},
doi = {10.1109/CIS.2007.200},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cis/MiaoCQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/ChenMX07,
author = {Shengbo Chen and
Huaikou Miao and
Qingguo Xu},
title = {Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance
and Message-priority},
booktitle = {Grid and Cooperative Computing, Sixth International Conference on
Grid and Cooperative Computing, {GCC} 2007, August 16-18, 2007, Urumchi,
Xinjiang, China, Proceedings},
pages = {566--573},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/GCC.2007.82},
doi = {10.1109/GCC.2007.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/ChenMX07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/QianMH07,
author = {Zhong{-}sheng Qian and
Huaikou Miao and
Tao He},
title = {An Approach to Modeling Hypermedia Web Applications},
booktitle = {Grid and Cooperative Computing, Sixth International Conference on
Grid and Cooperative Computing, {GCC} 2007, August 16-18, 2007, Urumchi,
Xinjiang, China, Proceedings},
pages = {847--854},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/GCC.2007.41},
doi = {10.1109/GCC.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcc/QianMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/WuM07,
author = {Junfeng Wu and
Huaikou Miao},
editor = {S. C. Cheung and
Yinsheng Li and
Kuo{-}Ming Chao and
Muhammad Younas and
Jen{-}Yao Chung},
title = {A Rewriting Based Model for Nondeterministic Composite Web Service
System},
booktitle = {Proceedings of {ICEBE} 2007, {IEEE} International Conference on e-Business
Engineering and the Workshops {SOAIC} 2007, {SOSE} 2007, {SOKM} 2007,
24-26 October, 2007, Hong Kong, China},
pages = {492--499},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICEBE.2007.30},
doi = {10.1109/ICEBE.2007.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/WuM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/MiaoZ07,
author = {Huaikou Miao and
Hongwei Zeng},
title = {Model Checking-based Verification of Web Application},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {47--55},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.30},
doi = {10.1109/ICECCS.2007.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/MiaoZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/ZengM07,
author = {Hongwei Zeng and
Huaikou Miao},
editor = {Luciano Baresi and
Piero Fraternali and
Geert{-}Jan Houben},
title = {Auto-Generating Test Sequences for Web Applications},
booktitle = {Web Engineering, 7th International Conference, {ICWE} 2007, Como,
Italy, July 16-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4607},
pages = {301--305},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73597-7\_24},
doi = {10.1007/978-3-540-73597-7\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/ZengM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iita/ChenMQ07,
author = {Shengbo Chen and
Huaikou Miao and
Zhong{-}sheng Qian},
editor = {Fei Yu and
Renfa Li and
Guiping Liao},
title = {Location Transparent Communications in Mobile Agent Systems},
booktitle = {Proceedings of the Workshop on Intelligent Information Technology
Application, {IITA} 2007, Zhang Jiajie, China, December 2-3, 2007},
pages = {200--205},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IITA.2007.58},
doi = {10.1109/IITA.2007.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iita/ChenMQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iita/MiaoCLQ07,
author = {Huaikou Miao and
Shengbo Chen and
Huanzhou Liu and
Zhong{-}sheng Qian},
editor = {Fei Yu and
Renfa Li and
Guiping Liao},
title = {An Approach to Generating Test Cases for Testing Component-based Web
Applications},
booktitle = {Proceedings of the Workshop on Intelligent Information Technology
Application, {IITA} 2007, Zhang Jiajie, China, December 2-3, 2007},
pages = {264--269},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IITA.2007.54},
doi = {10.1109/IITA.2007.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iita/MiaoCLQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iita/QianMC07,
author = {Zhong{-}sheng Qian and
Huaikou Miao and
Shengbo Chen},
editor = {Fei Yu and
Renfa Li and
Guiping Liao},
title = {Towards Modeling Web Navigation Using {FSM} and {Z}},
booktitle = {Proceedings of the Workshop on Intelligent Information Technology
Application, {IITA} 2007, Zhang Jiajie, China, December 2-3, 2007},
pages = {371--376},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/IITA.2007.51},
doi = {10.1109/IITA.2007.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iita/QianMC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sitis/QianMZ07,
author = {Zhong{-}sheng Qian and
Huaikou Miao and
Hongwei Zeng},
editor = {Kokou Y{\'{e}}tongnon and
Richard Chbeir and
Albert Dipanda},
title = {A Practical Web Testing Model for Web Application Testing},
booktitle = {Third International {IEEE} Conference on Signal-Image Technologies
and Internet-Based System, {SITIS} 2007, Shanghai, China, December
16-18, 2007},
pages = {434--441},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SITIS.2007.16},
doi = {10.1109/SITIS.2007.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sitis/QianMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZengML07,
author = {Hongwei Zeng and
Huaikou Miao and
Jing Liu},
title = {Specification-based Test Generation and Optimization Using Model Checking},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {349--355},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.46},
doi = {10.1109/TASE.2007.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZengML07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta/MiaoW06,
author = {Huaikou Miao and
Zhicheng Wen},
title = {An Approach to Extending Object-Z with Real-Time},
booktitle = {Third {IEEE} International Workshop on Electronic Design, Test and
Applications {(DELTA} 2006), 17-19 January 2006, Kuala Lumpur, Malaysia},
pages = {345--349},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DELTA.2006.12},
doi = {10.1109/DELTA.2006.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/delta/MiaoW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MiaoSC06,
author = {Huaikou Miao and
Junmei Sun and
Xiaoxia Cao},
title = {Formalizing and analyzing service oriented software architecture style},
booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China},
pages = {387--390},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/EDOC.2006.29},
doi = {10.1109/EDOC.2006.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/MiaoSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/XuM06,
author = {Qingguo Xu and
Huaikou Miao},
editor = {Peter Kokol},
title = {Formal Verification Framework for Safety of Real-Time System based
on Timed Automata Model in {PVS}},
booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering,
February 14-16, 2006, Innsbruck, Austria},
pages = {107--112},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Wed, 08 Nov 2006 11:18:50 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/XuM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/ZengM06,
author = {Hongwei Zeng and
Huaikou Miao},
title = {Data Communication Model of Grid Workflow},
booktitle = {2006 {IEEE} International Conference on e-Business Engineering {(ICEBE}
2006), 24-26 October 2006, Shanghai, China},
pages = {647--654},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICEBE.2006.37},
doi = {10.1109/ICEBE.2006.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/ZengM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icns/SunM06,
author = {Junmei Sun and
Huaikou Miao},
title = {A Formal Architecture Supporting Dynamic Composition of Web Services},
booktitle = {2006 International Conference on Networking and Services {(ICNS} 2006),
16-21 July 2006, Silicon Valley, California, {USA}},
pages = {48},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICNS.2006.2},
doi = {10.1109/ICNS.2006.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icns/SunM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/SunMC06,
author = {Junmei Sun and
Huaikou Miao and
Xiaoxia Cao},
title = {A Domain Formal Ontology and the Application in Service Component
Retrieval},
booktitle = {Proceedings of the International Conference on Software Engineering
Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
French Polynesia},
pages = {33},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSEA.2006.261289},
doi = {10.1109/ICSEA.2006.261289},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/SunMC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/WenMZ06,
author = {Zhicheng Wen and
Huaikou Miao and
Hongwei Zeng},
title = {Generating Proof Obligation to Verify Object-Z Specification},
booktitle = {Proceedings of the International Conference on Software Engineering
Advances {(ICSEA} 2006), October 28 - November 2, 2006, Papeete, Tahiti,
French Polynesia},
pages = {38},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICSEA.2006.261294},
doi = {10.1109/ICSEA.2006.261294},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/WenMZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/XuM06,
author = {Qingguo Xu and
Huaikou Miao},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Modeling Timed Automata Theory in {PVS}},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice {\&} Conference on Programming Languages
and Compilers, {SERP} 2006, Las Vegas, Nevada, USA, June 26-29, 2006,
Volume 1},
pages = {205--211},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Wed, 29 Nov 2006 15:18:18 +0100},
biburl = {https://dblp.org/rec/conf/serp/XuM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MiaoS06,
author = {Huaikou Miao and
Junmei Sun},
editor = {Elisabetta Di Nitto and
Robert J. Hall and
Jun Han and
Yanbo Han and
Andrea Polini and
Kurt Sandkuhl and
Andrea Zisman},
title = {The Role of Ontology in Service Oriented System Development},
booktitle = {The 2006 International Workshop on Service Oriented Software Engineering
{(IW-SOSE} '06), May 27-28, 2006, Shanghai, China, in conjunction
with {ICSE} 2006},
pages = {179--182},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SOSE.2006.37},
doi = {10.1109/SOSE.2006.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sose/MiaoS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuM05,
author = {Jing Liu and
Huaikou Miao},
title = {A Strategy for Component-Based Modeling and Refinement},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {26--27},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.14},
doi = {10.1109/ICECCS.2005.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuM05a,
author = {Ling Liu and
Huaikou Miao},
title = {Mutation Operators for Object-Z Specification},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {498--506},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.65},
doi = {10.1109/ICECCS.2005.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiuM05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/DaiM05,
author = {Jiazhu Dai and
Huaikou Miao},
editor = {Sihan Qing and
Wenbo Mao and
Javier L{\'{o}}pez and
Guilin Wang},
title = {D{\_}DIPS: An Intrusion Prevention System for Database Security},
booktitle = {Information and Communications Security, 7th International Conference,
{ICICS} 2005, Beijing, China, December 10-13, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3783},
pages = {481--490},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11602897\_40},
doi = {10.1007/11602897\_40},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icics/DaiM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/YuanMC04,
author = {Jie Yuan and
Huaikou Miao and
Liang Cai},
title = {A Design Pattern Verifier in Two-Tier Programming Environment},
booktitle = {2004 International Conference on Computer and Information Technology
{(CIT} 2004), 14-16 September 2004, Wuhan, China},
pages = {1081--1086},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CIT.2004.1357339},
doi = {10.1109/CIT.2004.1357339},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/YuanMC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/ZhanML04,
author = {Xuede Zhan and
Huaikou Miao and
Ling Liu},
title = {Formalizing the Semantics of {UML} Statecharts with Z*},
booktitle = {2004 International Conference on Computer and Information Technology
{(CIT} 2004), 14-16 September 2004, Wuhan, China},
pages = {1116--1121},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CIT.2004.1357344},
doi = {10.1109/CIT.2004.1357344},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/ZhanML04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ZhanM04,
author = {Xuede Zhan and
Huaikou Miao},
editor = {Paolo Atzeni and
Wesley W. Chu and
Hongjun Lu and
Shuigeng Zhou and
Tok Wang Ling},
title = {An Approach to Formalizing the Semantics of {UML} Statecharts},
booktitle = {Conceptual Modeling - {ER} 2004, 23rd International Conference on
Conceptual Modeling, Shanghai, China, November 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3288},
pages = {753--765},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30464-7\_56},
doi = {10.1007/978-3-540-30464-7\_56},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/ZhanM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuM04,
author = {Ling Liu and
Huaikou Miao},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {A Specification-Based Approach to Testing Polymorphic Attributes},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {306--319},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_28},
doi = {10.1007/978-3-540-30482-1\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiuM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/GaoMC03,
author = {Xiaolei Gao and
Huaikou Miao and
Yihai Chen},
editor = {Minglu Li and
Xian{-}He Sun and
Qianni Deng and
Jun Ni},
title = {Structured Object-Z Software Specification Language},
booktitle = {Grid and Cooperative Computing, Second International Workshop, {GCC}
2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3032},
pages = {956--963},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24679-4\_158},
doi = {10.1007/978-3-540-24679-4\_158},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gcc/GaoMC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/GaoMLL03,
author = {Xiaolei Gao and
Huaikou Miao and
Shaoying Liu and
Ling Liu},
editor = {Minglu Li and
Xian{-}He Sun and
Qianni Deng and
Jun Ni},
title = {The Availability Semantics of Predicate Data Flow Diagram},
booktitle = {Grid and Cooperative Computing, Second International Workshop, {GCC}
2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3033},
pages = {970--977},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24680-0\_152},
doi = {10.1007/978-3-540-24680-0\_152},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gcc/GaoMLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiuMZ02,
author = {Ling Liu and
Huaikou Miao and
Xuede Zhan},
title = {A Framework for Specification-Based Class Testing},
booktitle = {8th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICECCS.2002.1181508},
doi = {10.1109/ICECCS.2002.1181508},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiuMZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuMG02,
author = {Jing Liu and
Huaikou Miao and
Xiaolei Gao},
editor = {Chris George and
Huaikou Miao},
title = {A Specification-Based Software Construction Framework for Reuse},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {69--79},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_9},
doi = {10.1007/3-540-36103-0\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiuMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MiaoLL02,
author = {Huaikou Miao and
Ling Liu and
Li Li},
editor = {Chris George and
Huaikou Miao},
title = {Formalizing {UML} Models with Object-Z},
booktitle = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {523--534},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0\_53},
doi = {10.1007/3-540-36103-0\_53},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MiaoLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2002,
editor = {Chris George and
Huaikou Miao},
title = {Formal Methods and Software Engineering, 4th International Conference
on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
21-25, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2495},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36103-0},
doi = {10.1007/3-540-36103-0},
isbn = {3-540-00029-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MiaoLYML01,
author = {Huaikou Miao and
Ling Liu and
Chuanjiang Yu and
Jijun Ming and
Li Li},
title = {Z User Studio: An Integrated Support Tool for {Z} Specifications},
booktitle = {8th Asia-Pacific Software Engineering Conference {(APSEC} 2001), 4-7
December 2001, Macau, China},
pages = {437--444},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APSEC.2001.991512},
doi = {10.1109/APSEC.2001.991512},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MiaoLYML01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/HuaikouL00,
author = {Huaikou Miao and
Ling Liu},
title = {A Test Class Framework for Generating Test Cases from {Z} Specifications},
booktitle = {6th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
pages = {164--171},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICECCS.2000.873941},
doi = {10.1109/ICECCS.2000.873941},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/HuaikouL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/MiaoYL00,
author = {Huaikou Miao and
Chuanjiang Yu and
Li Li},
title = {A Formalized Abstract Component Object Mode - {Z-COM}},
booktitle = {{TOOLS} Asia 2000: 36th International Conference on Technology of
Object-Oriented Languages and Systems, Xi'an, China, 30 October -
4 November 2000},
pages = {250--259},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TOOLS.2000.885924},
doi = {10.1109/TOOLS.2000.885924},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/MiaoYL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/MiaoGL99,
author = {Huaikou Miao and
Xiaolei Gao and
Ling Liu},
title = {An Approach to Testing the Nonexistence of Initial State in {Z} Specifications},
booktitle = {8th Asian Test Symposium {(ATS} '99), 16-18 November 1999, Shanghai,
China},
pages = {289--294},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ATS.1999.810765},
doi = {10.1109/ATS.1999.810765},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/MiaoGL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
