| Nodoze: Combatting threat alert fatigue with automated provenance triage WU Hassan, S Guo, D Li, Z Chen, K Jee, Z Li, A Bates network and distributed systems security symposium, 2019 | 205 | 2019 |
| SAVIOR: Towards Bug-Driven Hybrid Testing Y Chen, P Li, J Xu, S Guo, R Zhou, Y Zhang, T Wei, L Lu arXiv preprint arXiv:1906.07327, 2019 | 138 | 2019 |
| Eliminating timing side-channel leaks using program repair M Wu, S Guo, P Schaumont, C Wang Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 112 | 2018 |
| {MUZZ}: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs H Chen, S Guo, Y Xue, Y Sui, C Zhang, Y Li, H Wang, Y Liu 29th USENIX Security Symposium (USENIX Security 20), 2325-2342, 2020 | 77 | 2020 |
| Assertion guided symbolic execution of multithreaded programs S Guo, M Kusano, C Wang, Z Yang, A Gupta Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 70 | 2015 |
| Conc-iSE: Incremental symbolic execution of concurrent software S Guo, M Kusano, C Wang Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 53 | 2016 |
| SpecuSym: Speculative symbolic execution for cache timing leak detection S Guo, Y Chen, P Li, Y Cheng, H Wang, M Wu, Z Zuo Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 48 | 2020 |
| Adversarial symbolic execution for detecting concurrency-related cache timing leaks S Guo, M Wu, C Wang Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 38 | 2018 |
| Postconditioned symbolic execution Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 36 | 2015 |
| Symbolic execution of programmable logic controller code S Guo, M Wu, C Wang Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 35 | 2017 |
| Eliminating path redundancy via postconditioned symbolic execution Q Yi, Z Yang, S Guo, C Wang, J Liu, C Zhao IEEE Transactions on Software Engineering 44 (1), 25-43, 2017 | 33 | 2017 |
| Sok: On the semantic ai security in autonomous driving J Shen, N Wang, Z Wan, Y Luo, T Sato, Z Hu, X Zhang, S Guo, Z Zhong, ... arXiv preprint arXiv:2203.05314, 2022 | 16 | 2022 |
| Challenging machine learning-based clone detectors via semantic-preserving code transformations W Zhang, S Guo, H Zhang, Y Sui, Y Xue, Y Xu IEEE Transactions on Software Engineering, 2023 | 14 | 2023 |
| A Survey on Automated Driving System Testing: Landscapes and Trends S Tang, Z Zhang, Y Zhang, J Zhou, Y Guo, S Liu, S Guo, YF Li, L Ma, ... ACM Transactions on Software Engineering and Methodology, 2023 | 13 | 2023 |
| Coverage-based scene fuzzing for virtual autonomous driving testing Z Hu, S Guo, Z Zhong, K Li arXiv preprint arXiv:2106.00873, 2021 | 13 | 2021 |
| Detecting multi-sensor fusion errors in advanced driver-assistance systems Z Zhong, Z Hu, S Guo, X Zhang, Z Zhong, B Ray Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 12 | 2022 |
| Detecting safety problems of multi-sensor fusion in autonomous driving Z Zhong, Z Hu, S Guo, X Zhang, Z Zhong, B Ray arXiv preprint arXiv:2109.06404, 2021 | 10 | 2021 |
| Exposing cache timing side-channel leaks through out-of-order symbolic execution S Guo, Y Chen, J Yu, M Wu, Z Zuo, P Li, Y Cheng, H Wang Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-32, 2020 | 7 | 2020 |
| Mitigating silent data corruptions in HPC applications across multiple program inputs Y Huang, S Guo, S Di, G Li, F Cappello SC22: International Conference for High Performance Computing, Networking …, 2022 | 6 | 2022 |
| PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications MH Rahman, A Shamji, S Guo, G Li Proceedings of the International Conference for High Performance Computing …, 2021 | 5 | 2021 |
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
