Pingfan Kong
发表
Jacques Klein,
Li Li,
Jun Gao,
2018,
ICSE.
Jacques Klein,
Li Li,
Tegawendé F. Bissyandé,
2019,
IEEE Transactions on Reliability.
Probabilistic model checking for hybrid systems with hybrid concolic testing and importance sampling
Pingfan Kong,
2016
.
Yi Li,
Jun Sun,
Jingyi Wang,
2016,
FM.
Jacques Klein,
Tegawendé F. Bissyandé,
Li Li,
2020,
ESEC/SIGSOFT FSE.
Jacques Klein,
Li Li,
Jun Gao,
2020,
ArXiv.
Jacques Klein,
Li Li,
Jun Gao,
2019,
2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER).
Jacques Klein,
Li Li,
Yves Le Traon,
2017,
ArXiv.
Jacques Klein,
Tegawendé F. Bissyandé,
Li Li,
2019,
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
Hao Yu,
Dennis Sylvester,
Yuhao Wang,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jacques Klein,
Tegawendé F. Bissyandé,
Jun Gao,
2021,
IEEE Transactions on Reliability.
Jacques Klein,
Li Li,
Tegawendé F. Bissyandé,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Hao Yu,
Yuhao Wang,
Pingfan Kong,
2013,
2013 13th Non-Volatile Memory Technology Symposium (NVMTS).
Jacques Klein,
Jun Gao,
Tegawendé F. Bissyandé,
2019,
ISSTA.
Pingfan Kong,
2021
.
Jacques Klein,
Li Li,
Pingfan Kong,
2020,
Autom. Softw. Eng..