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
1662020
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
1222020
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
1162018
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
832020
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
782022
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
702019
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
402015
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
312020
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
232021
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
162021
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
152022
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
152021
Hybrid test data generation
Z Liu, Z Chen, C Fang, Q Shi
Companion Proceedings of the 36th International Conference on Software …, 2014
152014
Pipelining bottom-up data flow analysis
Q Shi, C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
132020
Bug inducing analysis to prevent fault prone bug fixes
H Yang, C Wang, Q Shi, Y Feng, Z Chen
SEKE, 620-625, 2014
132014
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
112020
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
112020
Verifying synchronization for atomicity violation fixing
Q Shi, J Huang, Z Chen, B Xu
IEEE Transactions on Software Engineering 42 (3), 280-296, 2015
102015
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
92021
Test recommendation system based on slicing coverage filtering
R Qian, Y Zhao, D Men, Y Feng, Q Shi, Y Huang, Z Chen
Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020
92020
The system can't perform the operation now. Try again later.
Articles 1–20