Follow
Qingkai Shi
Title
Cited by
Cited by
Year
Deepgini: prioritizing massive tests to enhance the robustness of deep neural networks
Y Feng, Q Shi, X Gao, J Wan, C Fang, Z Chen
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
2142020
Functional code clone detection with syntax and semantics fusion learning
C Fang, Z Liu, Y Shi, J Huang, Q Shi
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
1442020
Pinpoint: fast and precise sparse value flow analysis for million lines of code
Q Shi, X Xiao, R Wu, J Zhou, G Fan, C Zhang
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
1352018
Beacon: directed grey-box fuzzing with provable path pruning
H Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang
2022 IEEE Symposium on Security and Privacy (SP), 36-50, 2022
1032022
Pangolin: incremental hybrid fuzzing with polyhedral path abstraction
H Huang, P Yao, R Wu, Q Shi, C Zhang
2020 IEEE Symposium on Security and Privacy (SP), 1613-1627, 2020
932020
Smoke: scalable path-sensitive memory leak detection for millions of lines of code
G Fan, R Wu, Q Shi, X Xiao, J Zhou, C Zhang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
892019
Measuring the diversity of a test set with distance entropy
Q Shi, Z Chen, C Fang, Y Feng, B Xu
IEEE transactions on reliability 65 (1), 19-27, 2015
442015
Escaping dependency hell: finding build dependency errors with the unified dependency graph
G Fan, C Wang, R Wu, X Xiao, Q Shi, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
432020
Path-sensitive sparse analysis without path conditions
Q Shi, P Yao, R Wu, C Zhang
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
302021
Fuzzing SMT solvers via two-dimensional input space exploration
P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
222021
Skeletal approximation enumeration for smt solver testing
P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
192021
Conquering the extensional scalability problem for value-flow analysis frameworks
Q Shi, R Wu, G Fan, C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
182020
Peahen: Fast and precise static deadlock detection via context reduction
Y Cai, C Ye, Q Shi, C Zhang
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
172022
Pipelining bottom-up data flow analysis
Q Shi, C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
172020
Hybrid test data generation
Z Liu, Z Chen, C Fang, Q Shi
Companion Proceedings of the 36th International Conference on Software …, 2014
142014
Bug inducing analysis to prevent fault prone bug fixes
H Yang, C Wang, Q Shi, Y Feng, Z Chen
SEKE, 620-625, 2014
142014
Program Analysis via Efficient Symbolic Abstraction
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021
132021
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
122020
Verifying synchronization for atomicity violation fixing
Q Shi, J Huang, Z Chen, B Xu
IEEE Transactions on Software Engineering 42 (3), 280-296, 2015
122015
Improving binary code similarity transformer models by semantics-driven instruction deemphasis
X Xu, S Feng, Y Ye, G Shen, Z Su, S Cheng, G Tao, Q Shi, Z Zhang, ...
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
112023
The system can't perform the operation now. Try again later.
Articles 1–20