Shengjian Guo

Most-cited papers

NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage
Wajih Ul Hassan, Shengjian Guo, Ding Li, Zhengzhang Chen +3 more
2019Network and Distributed System Security Symposium487 citations Open access
Semantic Scholar
SAVIOR: Towards Bug-Driven Hybrid Testing
Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo +4 more
2019IEEE Symposium on Security and Privacy192 citations Open access
Semantic Scholar
A Survey on Automated Driving System Testing: Landscapes and Trends
Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou +7 more
2022ACM Transactions on Software Engineering and Methodology186 citations Open access
Semantic Scholar
Eliminating timing side-channel leaks using program repair
Meng Wu, Shengjian Guo, P. Schaumont, Chao Wang
2018International Symposium on Software Testing and Analysis117 citations
Semantic Scholar
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs
Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui +4 more
2020USENIX Security Symposium114 citations
Semantic Scholar
Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations
Weiwei Zhang, Shengjian Guo, Hong-Yu Zhang, Yulei Sui +2 more
2021IEEE Transactions on Software Engineering63 citations Open access
Semantic Scholar
Assertion guided symbolic execution of multithreaded programs
Shengjian Guo, Markus Kusano, Chao Wang, Z. Yang +1 more
2015ESEC/SIGSOFT FSE58 citations
Semantic Scholar
Conc-iSE: Incremental symbolic execution of concurrent software
Shengjian Guo, Markus Kusano, Chao Wang
2016International Conference on Automated Software Engineering56 citations
Semantic Scholar
SoK: On the Semantic AI Security in Autonomous Driving
Junjie Shen, Ning-Fei Wang, Zi-Wen Wan, Yunpeng Luo +9 more
2022arXiv.org54 citations Open access
Semantic Scholar
SPECUSYM: Speculative Symbolic Execution for Cache Timing Leak Detection
Shengjian Guo, Yueqi Chen, Peng Li, Yue-Qiang Cheng +3 more
2019International Conference on Software Engineering53 citations
Semantic Scholar
Symbolic execution of programmable logic controller code
Shengjian Guo, Meng Wu, Chao Wang
2017ESEC/SIGSOFT FSE50 citations
Semantic Scholar
Adversarial symbolic execution for detecting concurrency-related cache timing leaks
Shengjian Guo, Meng Wu, Chao Wang
2018ESEC/SIGSOFT FSE43 citations Open access
Semantic Scholar
Eliminating Path Redundancy via Postconditioned Symbolic Execution
Qiu-Ping Yi, Z. Yang, Shengjian Guo, Chao Wang +2 more
2018IEEE Transactions on Software Engineering39 citations Open access
Semantic Scholar
Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing
Zhi-Sheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
2021arXiv.org35 citations
Semantic Scholar
Detecting multi-sensor fusion errors in advanced driver-assistance systems
Zi-Yuan Zhong, Zhi-Sheng Hu, Shengjian Guo, Xinyang Zhang +2 more
2021International Symposium on Software Testing and Analysis35 citations Open access
Semantic Scholar
Postconditioned Symbolic Execution
Qiu-Ping Yi, Z. Yang, Shengjian Guo, Chao Wang +2 more
2015International Conference on Information Control Systems & Technologies32 citations
Semantic Scholar
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Ning-Yu He, Zhehao Zhao, Ji-Kai Wang, Yu-Bin Hu +6 more
2023International Symposium on Software Testing and Analysis29 citations Open access
Semantic Scholar
Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs
Yafan Huang, Shengjian Guo, Sheng Di, Guan-Peng Li +1 more
2022International Conference for High Performance Computing, Networking, Storage and Analysis26 citations
Semantic Scholar
PEPPA-X: Finding Program Test Inputs to Bound Silent Data Corruption Vulnerability in HPC Applications
M. Rahman, Aabid Shamji, Shengjian Guo, Guan-Peng Li
2021International Conference for High Performance Computing, Networking, Storage and Analysis19 citations Open access
Semantic Scholar
PASS: A System-Driven Evaluation Platform for Autonomous Driving Safety and Security
Zhi-Sheng Hu, Junjie Shen, Shengjian Guo, Xinyang Zhang +3 more
2022Proceedings Fourth International Workshop on Automotive and Autonomous Vehicle Security11 citations Open access
Semantic Scholar
A Survey on Autonomous Driving System Simulators
Jixiang Zhou, Yi Zhang, Shengjian Guo, Yan Guo
20222022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)10 citations
Semantic Scholar
Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving
Zi-Yuan Zhong, Zhi-Sheng Hu, Shengjian Guo, Xinyang Zhang +2 more
2021arXiv.org6 citations
Semantic Scholar
Exposing cache timing side-channel leaks through out-of-order symbolic execution
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu +4 more
2020Proc. ACM Program. Lang.6 citations Open access
Semantic Scholar
Meltdown-type attacks are still feasible in the wall of kernel page-Table isolation
Yue-Qiang Cheng, Zhi Zhang, Yan-Song Gao, Zhaofeng Chen +5 more
2022Computers & security5 citations
Semantic Scholar
Hardening selective protection across multiple program inputs for HPC applications
Yafan Huang, Shengjian Guo, Sheng Di, Guan-Peng Li +1 more
2022ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming5 citations
Semantic Scholar
Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems
Zhi-Sheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
20212021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)5 citations
Semantic Scholar
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang
2022arXiv.org3 citations Open access
Semantic Scholar
XVCL-An Annotative Approach to Feature-Oriented Programming
Shengjian Guo, Long Tang, Wei-Wei Xu
20102010 International Conference on Computational Intelligence and Software Engineering3 citations
Semantic Scholar
Meltdown-type Attacks Are Still Feasible in the Wall of Kernel Page-Table Isolation
Yue-Qiang Cheng, Zhi-Li Zhang, Yan-Song Gao, Zhaofeng Chen +5 more
2021Computers & security2 citations
Semantic Scholar
SimLane: A Risk-Orientated Benchmark for Lane Detection
Xinyang Zhang, Zhi-Sheng Hu, Shengjian Guo, Zhenyu Zhong +1 more
20222022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S)1 citations
Semantic Scholar
Efficient Symbolic Execution of Concurrent Software
Shengjian Guo
20191 citations
Semantic Scholar
Demo: Disclosing the Pringles Syndrome in Tesla FSD Vehicles
Zhi-Sheng Hu, Shengjian Guo, Kang Li
2022Proceedings Fourth International Workshop on Automotive and Autonomous Vehicle Security0 citations Open access
Semantic Scholar
Message from the RAIS 2022 Chairs
Yanfang Li, Yinxing Xue, Lei Ma, Shengjian Guo +1 more
2022ISSRE Workshops0 citations Open access
Semantic Scholar