| 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 | 112 | 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 | 81 | 2018 |
| 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 | 75 | 2019 |
| 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 | 65 | 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 | 44 | 2016 |
| {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 | 41 | 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 | 30 | 2018 |
| 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 | 28 | 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 | 27 | 2017 |
| 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 | 27 | 2015 |
| 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 | 26 | 2020 |
| 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 | 5 | 2021 |
| Coverage-based scene fuzzing for virtual autonomous driving testing Z Hu, S Guo, Z Zhong, K Li arXiv preprint arXiv:2106.00873, 2021 | 3 | 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 | 3 | 2020 |
| 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 | 1 | 2022 |
| Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations W Zhang, S Guo, H Zhang, Y Sui, Y Xue, Y Xu arXiv preprint arXiv:2111.10793, 2021 | 1 | 2021 |
| Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems Z Hu, S Guo, Z Zhong, K Li 2021 IEEE International Symposium on Software Reliability Engineering …, 2021 | 1 | 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 | | 2022 |
| SimLane: A Risk-Orientated Benchmark for Lane Detection X Zhang, Z Hu, S Guo, Z Zhong, K Li 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022 | | 2022 |
| 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, ... arXiv preprint arXiv:2206.05961, 2022 | | 2022 |
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
