Ting Su

89 papers A* 17A 7C 3Misc 3Journal 36Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
From Natural Language to Executable Properties for Property-based Testing of Mobile Apps.
CoRR
Yiheng Xiong, Ting Su, Jingling Sun, Jue Wang, Qin Li, Geguang Pu, Zhendong Su
2026 J jnl
Software Engineering for OpenHarmony: A Research Roadmap.
ACM Comput. Surv.
Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Carolyn Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
2025 A* conf
Are LLMs Correctly Integrated into Software Systems?
ICSE
Yuchen Shao, Yuheng Huang, Jiawei Shen, Lei Ma, Ting Su, Chengcheng Wan
2025 J jnl
Automated detection of atomicity violations in large-scale systems.
CoRR
Hang He, Yixing Luo, Chengcheng Wan, Ting Su, Haiying Sun, Geguang Pu
2025 J jnl
Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation.
CoRR
Dezhi Ran, Mengzhou Wu, Hao Yu, Yuetong Li, Jun Ren, Yuan Cao, Xia Zeng, Haochuan Lu, Zexin Xu, Mengqian Xu, Ting Su, Liangchao Yao, Ting Xiong, Wei Yang, Yuetang Deng, Assaf Marron, David Harel, Tao Xie
2025 A* conf
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration.
ASE
Jingjing Liang, Shan Huang, Ting Su
2025 — conf
HapTest: The Dynamic Analysis Framework for OpenHarmony.
SIGSOFT FSE Companion
Farong Liu, Mingyi Zhou, Yakun Zhang, Ting Su, Bo Sun, Jacques Klein, Xiang Gao, Li Li
2025 — conf
IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving.
ICSE Companion
Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu
2025 J jnl
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services.
CoRR
Hang He, Chuhuai Yue, Chengqi Dong, Mingxue Tian, Zhenfeng Liu, Jiajun Chai, Xiaohan Wang, Yufei Zhang, Qun Liao, Guojun Yin, Wei Lin, Chengcheng Wan, Haiying Sun, Ting Su
2025 — conf
Optimizing Input Minimization in Kernel Fuzzing.
USENIX ATC
Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li
2025 — conf
ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps.
SIGSOFT FSE Companion
Qichao Kong, Zhengwei Lv, Yiheng Xiong, Dingchun Wang, Jingling Sun, Ting Su, Letao Li, Xu Yang, Gang Huo
2025 J jnl
Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis.
Proc. ACM Program. Lang.
Shan Huang, Jingjing Liang, Ting Su, Qirun Zhang
2024 J jnl
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues.
CoRR
Han Cui, Menglei Xie, Ting Su, Chengyu Zhang, Shin Hwei Tan
2024 A* conf
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.
CCS
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su
2024 J jnl
BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering.
CoRR
Jiayi Jiang, Xiyuan Zhang, Chengcheng Wan, Haoyi Chen, Haiying Sun, Ting Su
2024 — conf
CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning.
ICANN (1)
Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu
2024 J jnl
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks.
Proc. ACM Program. Lang.
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
2024 A* conf
FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.
ASE
Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu
2024 J jnl
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng.
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui
2024 A* conf
General and Practical Property-based Testing for Android Apps.
ASE
Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su
2024 — conf
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps.
SIGSOFT FSE Companion
Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
2024 J jnl
Vortex under Ripplet: An Empirical Study of RAG-enabled Applications.
CoRR
Yuchen Shao, Yuheng Huang, Jiawei Shen, Lei Ma, Ting Su, Chengcheng Wan
2023 A conf
An Empirical Study of Functional Bugs in Android Apps.
ISSTA
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
2023 — conf
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.
ESEC/SIGSOFT FSE
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
2023 J jnl
Characterizing and Finding System Setting-Related Defects in Android Apps.
IEEE Trans. Software Eng.
Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
2023 A conf
Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning.
ISSRE
Hui Guo, Ting Su, Xiaoqiang Liu, Siyi Gu, Jingling Sun
2023 J jnl
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2023 J jnl
Influential Global and Local Contexts Guided Trace Representation for Fault Localization.
ACM Trans. Softw. Eng. Methodol.
Zhuo Zhang, Yan Lei, Ting Su, Meng Yan, Xiaoguang Mao, Yue Yu
2023 J jnl
ODDFUZZ: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing.
CoRR
Sicong Cao, Biao He, Xiaobing Sun, Yu Ouyang, Chao Zhang, Xiaoxue Wu, Ting Su, Lili Bo, Bin Li, Chuanlei Ma, Jiajia Li, Tao Wei
2023 A* conf
ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing.
SP
Sicong Cao, Biao He, Xiaobing Sun, Yu Ouyang, Chao Zhang, Xiaoxue Wu, Ting Su, Lili Bo, Bin Li, Chuanlei Ma, Jiajia Li, Tao Wei
2023 — conf
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.
ESEC/SIGSOFT FSE
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su
2023 J jnl
Software Engineering for OpenHarmony: A Research Roadmap.
CoRR
Li Li, Xiang Gao, Hailong Sun, Chunming Hu, Xiaoyu Sun, Haoyu Wang, Haipeng Cai, Ting Su, Xiapu Luo, Tegawendé F. Bissyandé, Jacques Klein, John C. Grundy, Tao Xie, Haibo Chen, Huaimin Wang
2023 J jnl
Test Report Generation for Android App Testing Via Heterogeneous Data Analysis.
IEEE Trans. Software Eng.
Chunrong Fang, Shengcheng Yu, Ting Su, Jing Zhang, Yuanhan Tian, Yang Liu
2023 — conf
Towards Efficient Data-Flow Test Data Generation.
Theories of Programming and Formal Methods
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
2023 Misc conf
Understanding the Reproducibility Issues of Monkey for GUI Testing.
SETTA
Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun
2022 J jnl
Detecting and Fixing Data Loss Issues in Android Apps.
CoRR
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng
2022 A conf
Detecting and fixing data loss issues in Android apps.
ISSTA
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng
2022 — conf
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
ESEC/SIGSOFT FSE
Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
2022 A* conf
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning.
ASE
Zhengwei Lv, Chao Peng, Zhao Zhang, Ting Su, Kai Liu, Ping Yang
2022 J jnl
ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps.
ACM Trans. Softw. Eng. Methodol.
Yu Zhao, Ting Su, Yang Liu, Wei Zheng, Xiaoxue Wu, Ramakanth Kavuluru, William G. J. Halfond, Tingting Yu
2022 — conf
TraceDroid: A Robust Network Traffic Analysis Framework for Privacy Leakage in Android Apps.
SciSec
Huajun Cui, Guozhu Meng, Yan Zhang, Weiping Wang, Dali Zhu, Ting Su, Xiaodong Zhang, Yuejun Li
2022 J jnl
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.
IEEE Trans. Software Eng.
Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2022 A conf
iFixDataloss: a tool for detecting and fixing data loss issues in Android apps.
ISSTA
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng
2021 J jnl
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.
Sci. Comput. Program.
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang
2021 — conf
Benchmarking automated GUI testing for Android against real-world bugs.
ESEC/SIGSOFT FSE
Ting Su, Jue Wang, Zhendong Su
2021 C conf
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.
APSEC
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi
2021 A conf
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.
ICCAD
Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu
2021 J jnl
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.
Proc. ACM Program. Lang.
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
2021 A conf
Understanding and finding system setting-related defects in Android apps.
ISSTA
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
2020 A* conf
An empirical assessment of security risks of global Android banking apps.
ICSE
Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu, Lihua Xu
2020 J jnl
Automated Functional Fuzzing of Android Apps.
CoRR
Ting Su, Yichen Yan, Jue Wang, Zhendong Su
2020 — conf
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
ESEC/SIGSOFT FSE
Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
2020 A conf
Improving Automated GUI Exploration of Android Apps via Static Dependency Analysis.
ICSME
Wunan Guo, Liwei Shen, Ting Su, Xin Peng, Weiyang Xie
2020 — conf
The forgotten case of the dependency bugs: on the example of the robot operating system.
ICSE (SEIP)
Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej Wasowski
2019 Misc conf
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.
TASE
Li Hao, Jianqi Shi, Ting Su, Yanhong Huang
2019 A* conf
Deep differential testing of JVM implementations.
ICSE
Yuting Chen, Ting Su, Zhendong Su
2019 — conf
Finding and understanding bugs in software model checkers.
ESEC/SIGSOFT FSE
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
2019 — conf
Learning Performance Optimization from Code Changes for Android Apps.
ICST Workshops
Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin
2019 J jnl
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.
CoRR
Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
2019 A* conf
ReCDroid: automatically reproducing Android application crashes from bug reports.
ICSE
Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, William G. J. Halfond
2019 J jnl
StoryDroid: Automated Generation of Storyboard for Android Apps.
CoRR
Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu
2019 A* conf
StoryDroid: automated generation of storyboard for Android apps.
ICSE
Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu
2019 A* conf
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning.
ASE
Yan Zheng, Changjie Fan, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen
2018 J jnl
AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps.
CoRR
Sen Chen, Guozhu Meng, Ting Su, Lingling Fan, Yinxing Xue, Yang Liu, Lihua Xu, Minhui Xue, Bo Li, Shuang Hao
2018 — conf
Are mobile banking apps secure? what can be improved?
ESEC/SIGSOFT FSE
Sen Chen, Ting Su, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, Lihua Xu
2018 J jnl
DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.
CoRR
Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 A* conf
DeepGauge: multi-granularity testing criteria for deep learning systems.
ASE
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang
2018 J jnl
Efficiently Manifesting Asynchronous Programming Errors in Android Apps.
CoRR
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
2018 A* conf
Efficiently manifesting asynchronous programming errors in Android apps.
ASE
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu
2018 A* conf
From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation.
ICSE
Chunyang Chen, Ting Su, Guozhu Meng, Zhenchang Xing, Yang Liu
2018 J jnl
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps.
CoRR
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018 A* conf
Large-scale analysis of framework-specific exceptions in Android apps.
ICSE
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018 J jnl
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry.
CoRR
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 — conf
Smartunit: empirical evaluations for automated unit testing of embedded software in industry.
ICSE (SEIP)
Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation Using KLEE.
CoRR
Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
2018 J jnl
Towards Efficient Data-flow Test Data Generation.
CoRR
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
2017 J jnl
A Survey on Data-Flow Testing.
ACM Comput. Surv.
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
2017 J jnl
AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis.
CoRR
Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu
2017 — conf
Guided, stochastic model-based GUI testing of Android apps.
ESEC/SIGSOFT FSE
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su
2016 C conf
Automated Requirements Validation for ATP Software via Specification Review and Testing.
ICFEM
Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong
2016 J jnl
Automated coverage-driven testing: combining symbolic execution and model checking.
Sci. China Inf. Sci.
Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
2016 A* conf
Coverage-directed differential testing of JVM implementations.
PLDI
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
2016 — conf
FSMdroid: guided GUI testing of android apps.
ICSE (Companion Volume)
Ting Su
2015 — conf
Combining Symbolic Execution and Model Checking for Data Flow Testing.
ICSE (1)
Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
2015 C conf
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.
KSEM
Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su
2014 — conf
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.
SERE
Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
2014 — conf
Runtime Verification by Convergent Formula Progression.
APSEC (1)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
2014 J jnl
The semantics and verification of timed service choreography.
Int. J. Comput. Math.
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
2013 Misc conf
Modeling and Verification of AUTOSAR OS and EMS Application.
TASE
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo