Sledovat
Cong Wang
Cong Wang
School of Software, Tsinghua University
E-mailová adresa ověřena na: mails.tsinghua.edu.cn - Domovská stránka
Název
Citace
Citace
Rok
Semantic learning and emulation based cross-platform binary vulnerability seeker
J Gao, Y Jiang, Z Liu, X Yang, C Wang, X Jiao, Z Yang, J Sun
IEEE Transactions on Software Engineering 47 (11), 2575-2589, 2019
102019
Weak-assert: A weakness-oriented assertion recommendation toolkit for program analysis
C Wang, Y Jiang, X Zhao, X Song, M Gu, J Sun
Proceedings of the 40th International Conference on Software Engineering …, 2018
92018
Assertion recommendation for formal program verification
C Wang, F He, X Song, Y Jiang, M Gu, J Sun
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017
92017
Go-clone: graph-embedding based clone detector for Golang
C Wang, J Gao, Y Jiang, Z Xing, H Zhang, W Yin, M Gu, J Sun
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
82019
Escape from Escape Analysis of Golang.
C Wang, M Zhang, Y Jiang, H Zhang, Z Xing, M Gu
the International Conference on Software Engineering (ICSE 2020), 2020
52020
Statically-directed assertion recommendation for c programs
C Wang, L Kang, R Zhang, W Yin
2019 ieee 43rd annual computer software and applications conference (compsac …, 2019
32019
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang
C Wang, H Sun, Y Xu, Y Jiang, H Zhang, M Gu
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
12019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–7