| 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 | 213 | 2020 |
| 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 | 143 | 2020 |
| 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 | 133 | 2018 |
| 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 | 99 | 2022 |
| 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 | 93 | 2020 |
| 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 | 85 | 2019 |
| 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 | 44 | 2015 |
| 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 | 42 | 2020 |
| 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 | 28 | 2021 |
| 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 | 20 | 2021 |
| 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 | 18 | 2021 |
| 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 | 16 | 2022 |
| Pipelining bottom-up data flow analysis Q Shi, C Zhang Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 16 | 2020 |
| 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 | 16 | 2020 |
| Hybrid test data generation Z Liu, Z Chen, C Fang, Q Shi Companion Proceedings of the 36th International Conference on Software …, 2014 | 14 | 2014 |
| Bug inducing analysis to prevent fault prone bug fixes H Yang, C Wang, Q Shi, Y Feng, Z Chen SEKE, 620-625, 2014 | 14 | 2014 |
| 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 | 13 | 2021 |
| Verifying synchronization for atomicity violation fixing Q Shi, J Huang, Z Chen, B Xu IEEE Transactions on Software Engineering 42 (3), 280-296, 2015 | 12 | 2015 |
| Fast bit-vector satisfiability P Yao, Q Shi, H Huang, C Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 11 | 2020 |
| 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 | 9 | 2022 |
Charles ZhangProfessor of Computer Science, HKUSTEmail verificata su cse.ust.hk