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
652020
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
602018
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
492020
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
422020
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
362015
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
252019
Hybrid test data generation
Z Liu, Z Chen, C Fang, Q Shi
Companion Proceedings of the 36th International Conference on Software …, 2014
142014
Verifying synchronization for atomicity violation fixing
Q Shi, J Huang, Z Chen, B Xu
IEEE Transactions on Software Engineering 42 (3), 280-296, 2015
112015
Bug Inducing Analysis to Prevent Fault Prone Bug Fixes.
H Yang, C Wang, Q Shi, Y Feng, Z Chen
SEKE, 620-625, 2014
102014
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
72021
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
72020
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
62021
Pipelining bottom-up data flow analysis
Q Shi, C Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
62020
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
52022
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
52020
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
42021
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
32020
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
22020
Precise Divide-By-Zero Detection with Affirmative Evidence
Y Guo, J Zhou, P Yao, Q Shi, C Zhang
12022
Complexity-guided container replacement synthesis
C Wang, P Yao, W Tang, Q Shi, C Zhang
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-31, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20