Kaiyuan Wang
发表
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Jian Fu,
Kaiyuan Wang,
Junwei Sun,
2016,
2016 International Conference on Industrial Informatics - Computing Technology, Intelligent Technology, Industrial Information Integration (ICIICII).
Sarfraz Khurshid,
Kaiyuan Wang,
Mengshi Zhang,
2018,
ESEC/SIGSOFT FSE.
Sarfraz Khurshid,
Kaiyuan Wang,
Divya Gopinath,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Sarfraz Khurshid,
Kaiyuan Wang,
Mengshi Zhang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Jian Fu,
Kaiyuan Wang,
Xinmin Zhou,
2016,
2016 International Conference on Industrial Informatics - Computing Technology, Intelligent Technology, Industrial Information Integration (ICIICII).
Deming Liu,
Kaiyuan Wang,
Minming Zhang,
2020
.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Sarfraz Khurshid,
Kaiyuan Wang,
Milos Gligoric,
2019,
TACAS.
Kaiyuan Wang,
Hui Hong,
Weikang Wu,
2011
.
Sarfraz Khurshid,
Kaiyuan Wang,
Zijiang Yang,
2018,
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Sarfraz Khurshid,
Kaiyuan Wang,
Hayes Converse,
2019,
SOEN.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ESEC/SIGSOFT FSE.
Sarfraz Khurshid,
Kaiyuan Wang,
Mladen Nikolic,
2019,
ArXiv.
Sarfraz Khurshid,
Kaiyuan Wang,
Corina S. Pasareanu,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Sarfraz Khurshid,
Kaiyuan Wang,
Kuldeep S. Meel,
2020,
TACAS.
Ahmet Çelik,
Chenguang Zhu,
Kaiyuan Wang,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2017,
SQAMIA.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Tong Li,
Kaiyuan Wang,
Jennifer Horkoff,
2019,
2019 IEEE 27th International Requirements Engineering Conference (RE).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Sarfraz Khurshid,
Kaiyuan Wang,
Corina S. Pasareanu,
2018,
ArXiv.
Kaiyuan Wang,
Xin Huang,
Greg Tener,
2020,
ISSTA.
Kaiyuan Wang,
2018
.
Sarfraz Khurshid,
Muhammad Usman,
Kaiyuan Wang,
2019,
PLDI.
Sarfraz Khurshid,
Kaiyuan Wang,
Divya Gopinath,
2016,
2016 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sarfraz Khurshid,
Kaiyuan Wang,
Milos Gligoric,
2018,
SOEN.
Nima Dini,
Cagdas Yelen,
Sarfraz Khurshid,
2019,
SPIN.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).
Kaiyuan Wang,
Xin Huang,
Greg Tener,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Kaiyuan Wang,
Tanvir Ahmed Khan,
Allison Sullivan,
2021,
ESEC/SIGSOFT FSE.