Chao Wang
发表
Haibo Zeng,
Chao Wang,
2017
.
Chao Wang,
Meng Wu,
2019
.
Chao Wang,
Tingting Yu,
Zunchen Huang,
2020,
IEEE Transactions on Software Engineering.
Meng Wu,
Chao Wang,
Haibo Zeng,
2017,
DAC.
Mukund Raghothaman,
Chungha Sung,
Jingbo Wang,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Chao Wang,
Jingbo Wang,
Chungha Sung,
2019,
ESEC/SIGSOFT FSE.
Tingting Yu,
Chao Wang,
Tarannum S. Zaman,
2017,
ESEC/SIGSOFT FSE.
Meng Wu,
Chao Wang,
Shengjian Guo,
2018,
ESEC/SIGSOFT FSE.
Meng Wu,
Chao Wang,
Shengjian Guo,
2017,
ESEC/SIGSOFT FSE.
Meng Wu,
Patrick Schaumont,
Chao Wang,
2018,
ISSTA.
Meng Wu,
Chao Wang,
Haibo Zeng,
2016,
NFM.
Chao Wang,
Meng Wu,
Shengjian Guo,
2022,
ArXiv.
Chao Wang,
Brandon Paulsen,
2022,
TACAS.
Chao Wang,
Jingbo Wang,
Yannan Li,
2023,
ISSTA.
Meng Wu,
Chao Wang,
Chao Wang,
2019,
PLDI.
Chao Wang,
Jingbo Wang,
Jiawei Wang,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Aarti Gupta,
Chao Wang,
Jingbo Wang,
2023,
Proc. ACM Program. Lang..
Chao Wang,
Jyotirmoy V. Deshmukh,
Brandon Paulsen,
2020,
FORMATS.
Chao Wang,
Jingbo Wang,
Brandon Paulsen,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Chao Wang,
Jingbo Wang,
Yannan Li,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Chao Wang,
Fu Song,
Jun Zhang,
2019,
ACM Trans. Softw. Eng. Methodol..
Chao Wang,
Jun Zhang,
Fu Song,
2018,
CAV.
Chao Wang,
Chungha Sung,
Brandon Paulsen,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Chao Wang,
Jyotirmoy V. Deshmukh,
Jingbo Wang,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Chao Wang,
Jingbo Wang,
2022,
ASE.