个人简历

科研项目与人才计划：
1. 2014年入选上海市青年科技英才扬帆计划。
2. 国家自然科学基金青年基金项目“嵌入式控制软件的形式化规格说明构建的工程方法”
3. 华东师范大学-卡斯柯信号有限公司“基于半形式化需求的测试用例的自动生成与结果分析”
4. 华东师范大学-卡斯柯信号有限公司“列车车载控制软件建模与分析方法及支撑工具研究”

研究领域

软件形式化工程方法，软件需求建模与分析，软件测试等""

近期论文

1、Yihao Huang, Felix Juefei-Xu, Run Wang, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakeLocator: Robust Localization of GAN-Based Face Manipulations via Semantic Segmentation Networks with Bells and Whistles. CoRR abs/2001.09598 (2020)
2、Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu:
FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction. CoRR abs/2006.07533 (2020)
3、Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng:
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. APSEC 2019: 15-22
4、Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu:
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. ASE 2019: 1166-1169
5、Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu:
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. CoRR abs/1912.07817 (2019)
6、Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) 2018: 296-305
7、Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR abs/1802.08547 (2018)
8、Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su:
A Survey on Data-Flow Testing. ACM Comput. Surv. 50(1): 5:1-5:35 (2017)
9、Lixu Shao, Yucong Duan, Xiaobing Sun, Honghao Gao, Donghai Zhu, Weikai Miao:
Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph. SEKE 2017: 1-6
10、Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su:
Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59(9): 98101 (2016)
11、Weikai Miao, Xi Wang:
An Evolutionary Method for the Formal Specification Construction of Service-Based Software. Int. J. Softw. Eng. Knowl. Eng. 26(4): 587-610 (2016)
12、Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong:
Automated Requirements Validation for ATP Software via Specification Review and Testing. ICFEM 2016: 26-40
13、Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen:
Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking. QRS 2016: 274-285
14、Xi Wang, Weikai Miao:
Automatic support for formal specification construction using pattern knowledge. SNPD 2016: 363-372
15、Xi Wang, Huaikou Miao, Weikai Miao:
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. SOFL+MSVL 2016: 55-73
16、Fu Song, Weikai Miao, Geguang Pu, Min Zhang:
On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. CONCUR 2015: 383-397
17、Shaoying Liu, Xi Wang, Weikai Miao:
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. ICFEM 2015: 100-115
18、Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao:
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE 2015: 71-78
19、Weikai Miao, Xi Wang, Shaoying Liu:
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. TASE 2015: 127-130
20、Yuting Chen, Qiuwei Shi, Weikai Miao:
Incremental Points-to Analysis for Java via Edit Propagation. SOFL+MSVL 2014: 164-178
21、Weikai Miao, Shaoying Liu:
A Formal Engineering Framework for Service-Based Software Modeling. IEEE Trans. Serv. Comput. 6(4): 536-550 (2013)
22、Weikai Miao, Shaoying Liu:
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling. SOFL+MSVL 2013: 89-103
23、Weikai Miao, Shaoying Liu:
A Formal Specification-Based Integration Testing Approach. SOFL 2012: 26-43
24、Weikai Miao, Shaoying Liu:
A Formal Specification-Based Testing Approach to Accurate Web Service Selection. APSCC 2011: 259-266
25、Weikai Miao, Shaoying Liu:
Service-oriented modeling using the SOFL formal engineering method. APSCC 2009: 187-192
26、Weikai Miao, Weiqin Tong:
Agent based ServiceBSP Model with Superstep Service for Grid Computing. GCC 2007: 255-260