17 citations · 17 across the 2 of their papers we have counts for
3 papers
cs.SE2026
Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
Kaixuan Li, Bozhi Wu, Jian Zhang +3
Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with fun…
cs.SE2026
PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
Yiheng Xiong, Shiwen Song, Bo Ma +2
Mobile apps often suffer from functional bugs that do not cause crashes but instead manifest as incorrect behaviors under specific user interactions. Such bugs are difficult to det…
cs.SE2022★ 17 cited
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen +3
Android apps are event-driven, and their execution is often interrupted by external events. This interruption can cause data loss issues that annoy users. For instance, when the sc…