Seguir
Qingkai Shi
Qingkai Shi
Dirección de correo verificada de nju.edu.cn - Página principal
Título
Citado por
Citado por
Año
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
1622020
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
1192020
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
1142018
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
822020
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
732022
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
692019
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
302020
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
222021
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
122014
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20