Modeling and Verification of AUTOSAR OS and EMS Application. - Yunhui Peng; Yanhong Huang; Ting Su 001; Jian Guo 005 (TASE, 2013)

Runtime Verification by Convergent Formula Progression. - Yan Shen; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Fang 004; Geguang Pu; Wanwei Liu; Mingsong Chen 001 (APSEC (1), 2014)

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. - Ting Su 001; Geguang Pu; Bin Fang 004; Jifeng He 001; Jun Yan; Siyuan Jiang; Jianjun Zhao 001 (SERE, 2014)

The semantics and verification of timed service choreography. - Yongxin Zhao; Hao Xiao; Zheng Wang 005; Geguang Pu; Ting Su 001 (Int. J. Comput. Math., 2014)

Combining Symbolic Execution and Model Checking for Data Flow Testing. - Ting Su 001; Zhoulai Fu; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ICSE (1), 2015)

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. - Ke Wu; Shiping Tang; Geguang Pu; Min Wu 003; Ting Su 001 (KSEM, 2015)

Automated Requirements Validation for ATP Software via Specification Review and Testing. - Weikai Miao; Geguang Pu; Yinbo Yao; Ting Su 001; Danzhu Bao; Yang Liu 003; Shuohao Chen; Kunpeng Xiong (ICFEM, 2016)

FSMdroid: guided GUI testing of android apps. - Ting Su 001 (ICSE (Companion Volume), 2016)

Coverage-directed differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Chengnian Sun; Zhendong Su 001; Jianjun Zhao 001 (PLDI, 2016)

Automated coverage-driven testing: combining symbolic execution and model checking. - Ting Su 001; Geguang Pu; Weikai Miao; Jifeng He 001; Zhendong Su 001 (Sci. China Inf. Sci., 2016)

Guided, stochastic model-based GUI testing of Android apps. - Ting Su 001; Guozhu Meng; Yuting Chen 001; Ke Wu; Weiming Yang; Yao Yao; Geguang Pu; Yang Liu 003; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2017)

AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis. - Guozhu Meng; Yinxing Xue; Jing Kai Siow; Ting Su 001; Annamalai Narayanan; Yang Liu 003 (CoRR, 2017)

A Survey on Data-Flow Testing. - Ting Su 001; Ke Wu; Weikai Miao; Geguang Pu; Jifeng He 001; Yuting Chen 001; Zhendong Su 001 (ACM Comput. Surv., 2017)

From UI design image to GUI skeleton: a neural machine translator to bootstrap mobile GUI implementation. - Chunyang Chen 001; Ting Su 001; Guozhu Meng; Zhenchang Xing; Yang Liu 003 (ICSE, 2018)

Large-scale analysis of framework-specific exceptions in Android apps. - Lingling Fan 003; Ting Su 001; Sen Chen 001; Guozhu Meng; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (ICSE, 2018)

Smartunit: empirical evaluations for automated unit testing of embedded software in industry. - Chengyu Zhang 001; Yichen Yan; Hanru Zhou; Yinbo Yao; Ke Wu; Ting Su 001; Weikai Miao; Geguang Pu (ICSE (SEIP), 2018)

Efficiently manifesting asynchronous programming errors in Android apps. - Lingling Fan 003; Ting Su 001; Sen Chen 001; Guozhu Meng; Yang Liu 003; Lihua Xu; Geguang Pu (ASE, 2018)

DeepGauge: multi-granularity testing criteria for deep learning systems. - Lei Ma 003; Felix Juefei-Xu; Fuyuan Zhang; Jiyuan Sun; Minhui Xue 001; Bo Li 026; Chunyang Chen 001; Ting Su 001; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (ASE, 2018)

Are mobile banking apps secure? what can be improved? - Sen Chen 001; Ting Su 001; Lingling Fan 003; Guozhu Meng; Minhui Xue 001; Yang Liu 003; Lihua Xu (ESEC/SIGSOFT FSE, 2018)

Towards Efficient Data-flow Test Data Generation Using KLEE. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Ke Wu; Geguang Pu (CoRR, 2018)

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems. - Lei Ma 003; Felix Juefei-Xu; Jiyuan Sun; Chunyang Chen 001; Ting Su 001; Fuyuan Zhang; Minhui Xue 001; Bo Li 026; Li Li 029; Yang Liu 003; Jianjun Zhao 001; Yadong Wang (CoRR, 2018)

Towards Efficient Data-flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Geguang Pu; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (CoRR, 2018)

AUSERA: Large-Scale Automated Security Risk Assessment of Global Mobile Banking Apps. - Sen Chen 001; Guozhu Meng; Ting Su 001; Lingling Fan 003; Yinxing Xue; Yang Liu 003; Lihua Xu; Minhui Xue 001; Bo Li 026; Shuang Hao 001 (CoRR, 2018)

StoryDroid: automated generation of storyboard for Android apps. - Sen Chen 001; Lingling Fan 003; Chunyang Chen 001; Ting Su 001; Wenhe Li; Yang Liu 003; Lihua Xu (ICSE, 2019)

Deep differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Zhendong Su 001 (ICSE, 2019)

ReCDroid: automatically reproducing Android application crashes from bug reports. - Yu Zhao 010; Tingting Yu 001; Ting Su 001; Yang Liu 003; Wei Zheng 006; Jingzhi Zhang; William G. J. Halfond (ICSE, 2019)

Learning Performance Optimization from Code Changes for Android Apps. - Ruitao Feng; Guozhu Meng; Xiaofei Xie; Ting Su 001; Yang Liu 003; Shang-Wei Lin 001 (ICST Workshops, 2019)

Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. - Yan Zheng 002; Changjie Fan; Xiaofei Xie; Ting Su 001; Lei Ma 003; Jianye Hao; Zhaopeng Meng; Yang Liu 003; Ruimin Shen; Yingfeng Chen (ASE, 2019)

Finding and understanding bugs in software model checkers. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Fuyuan Zhang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. - Li Hao; Jianqi Shi; Ting Su 001; Yanhong Huang (TASE, 2019)

Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. - Pengfei Gao; Fu Song; Taolue Chen 001; Yao Zeng; Ting Su 001 (CoRR, 2019)

An empirical assessment of security risks of global Android banking apps. - Sen Chen 001; Lingling Fan 003; Guozhu Meng; Ting Su 001; Minhui Xue 001; Yinxing Xue; Yang Liu 003; Lihua Xu (ICSE, 2020)

The forgotten case of the dependency bugs: on the example of the robot operating system. - Anders Fischer-Nielsen; Zhoulai Fu; Ting Su 001; Andrzej Wasowski (ICSE (SEIP), 2020)

Improving Automated GUI Exploration of Android Apps via Static Dependency Analysis. - Wunan Guo; Liwei Shen; Ting Su 001; Xin Peng 001; Weiyang Xie (ICSME, 2020)

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. - Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang 001; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Gu 006; Geguang Pu; Mengfei Yang; Jifeng He 001 (ESEC/SIGSOFT FSE, 2020)

Automated Functional Fuzzing of Android Apps. - Ting Su 001; Yichen Yan; Jue Wang; Zhendong Su 001 (CoRR, 2020)

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. - Weigang He; Xia Mao; Ting Su 001; Yanhong Huang; Jianqi Shi (APSEC, 2021)

Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. - Chengyu Zhang 001; Minquan Sun; Jianwen Li; Ting Su 001; Geguang Pu (ICCAD, 2021)

Understanding and finding system setting-related defects in Android apps. - Jingling Sun; Ting Su 001; Junxin Li; Zhen Dong; Geguang Pu; Tao Xie 001; Zhendong Su 001 (ISSTA, 2021)

Benchmarking automated GUI testing for Android against real-world bugs. - Ting Su 001; Jue Wang; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2021)

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. - Ting Su 001; Yichen Yan; Jue Wang; Jingling Sun; Yiheng Xiong; Geguang Pu; Ke Wang 022; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. - Weigang He; Jianqi Shi; Ting Su 001; Zeyu Lu; Li Hao; Yanhong Huang (Sci. Comput. Program., 2021)

Detecting and fixing data loss issues in Android apps. - Wunan Guo; Zhen Dong; Liwei Shen; Wei Tian; Ting Su 001; Xin Peng 001 (ISSTA, 2022)

iFixDataloss: a tool for detecting and fixing data loss issues in Android apps. - Wunan Guo; Zhen Dong; Liwei Shen; Wei Tian; Ting Su 001; Xin Peng 001 (ISSTA, 2022)

Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning. - Zhengwei Lv; Chao Peng 002; Zhao Zhang; Ting Su 001; Kai Liu; Ping Yang (ASE, 2022)

TraceDroid: A Robust Network Traffic Analysis Framework for Privacy Leakage in Android Apps. - Huajun Cui; Guozhu Meng; Yan Zhang 014; Weiping Wang 005; Dali Zhu; Ting Su 001; Xiaodong Zhang 014; Yuejun Li (SciSec, 2022)

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. - Jue Wang; Yanyan Jiang 001; Ting Su 001; Shaohua Li 002; Chang Xu 001; Jian Lu 001; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2022)

ReCDroid+: Automated End-to-End Crash Reproduction from Bug Reports for Android Apps. - Yu Zhao 010; Ting Su 001; Yang Liu 003; Wei Zheng 006; Xiaoxue Wu 001; Ramakanth Kavuluru; William G. J. Halfond; Tingting Yu 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. - Ting Su 001; Lingling Fan 003; Sen Chen 001; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (IEEE Trans. Software Eng., 2022)

Towards Efficient Data-Flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (Theories of Programming and Formal Methods, 2023)

Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning. - Hui Guo; Ting Su 001; Xiaoqiang Liu; Siyi Gu; Jingling Sun (ISSRE, 2023)

An Empirical Study of Functional Bugs in Android Apps. - Yiheng Xiong; Mengqian Xu; Ting Su 001; Jingling Sun; Jue Wang; He Wen; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ISSTA, 2023)

Understanding the Reproducibility Issues of Monkey for GUI Testing. - Huiyu Liu; Qichao Kong; Jue Wang; Ting Su 001; Haiying Sun (SETTA, 2023)

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. - Enze Ma; Shan Huang; Weigang He; Ting Su 001; Jue Wang; Huiyu Liu; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. - Jingling Sun; Ting Su 001; Jiayi Jiang; Jue Wang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing. - Sicong Cao; Biao He; Xiaobing Sun 001; Yu Ouyang; Chao Zhang 008; Xiaoxue Wu 001; Ting Su 001; Lili Bo; Bin Li 006; Chuanlei Ma; Jiajia Li; Tao Wei 002 (SP, 2023)

Software Engineering for OpenHarmony: A Research Roadmap. - Li Li 029; Xiang Gao 012; Hailong Sun 001; Chunming Hu; Xiaoyu Sun 002; Haoyu Wang 001; Haipeng Cai; Ting Su 001; Xiapu Luo; Tegawendé F. Bissyandé; Jacques Klein; John C. Grundy; et al. (CoRR, 2023)

Test Report Generation for Android App Testing Via Heterogeneous Data Analysis. - Chunrong Fang; Shengcheng Yu; Ting Su 001; Jing Zhang; Yuanhan Tian; Yang Liu 003 (IEEE Trans. Software Eng., 2023)

Characterizing and Finding System Setting-Related Defects in Android Apps. - Jingling Sun; Ting Su 001; Kai Liu; Chao Peng 002; Zhao Zhang; Geguang Pu; Tao Xie 001; Zhendong Su 001 (IEEE Trans. Software Eng., 2023)

Influential Global and Local Contexts Guided Trace Representation for Fault Localization. - Zhuo Zhang 007; Yan Lei; Ting Su 001; Meng Yan 001; Xiaoguang Mao; Yue Yu 001 (ACM Trans. Softw. Eng. Methodol., 2023)

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering. - Jiayi Jiang; Xiyuan Zhang; Chengcheng Wan 001; Haoyi Chen; Haiying Sun; Ting Su 001 (CCS, 2024)

CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. - Simiao Zhang; Jitao Bai; Menghong Guan; Yueling Zhang; Jun Sun 001; Yihao Huang 001; Jiaping Wang; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ICANN (1), 2024)

FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. - Junwei Chen; Yueling Zhang; Lingfeng Zhang; Min Zhang 007; Chengcheng Wan 001; Ting Su 001; Geguang Pu (ASE, 2024)

General and Practical Property-based Testing for Android Apps. - Yiheng Xiong; Ting Su 001; Jue Wang; Jingling Sun; Geguang Pu; Zhendong Su 001 (ASE, 2024)

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. - Jingling Sun; Ting Su 001; Jun Sun 001; Jianwen Li; Mengfei Wang; Geguang Pu (SIGSOFT FSE Companion, 2024)

Vortex under Ripplet: An Empirical Study of RAG-enabled Applications. - Yuchen Shao; Yuheng Huang 004; Jiawei Shen; Lei Ma 003; Ting Su 001; Chengcheng Wan 001 (CoRR, 2024)

An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues. - Han Cui; Menglei Xie; Ting Su 001; Chengyu Zhang 001; Shin Hwei Tan (CoRR, 2024)

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. - Qian Chen; Chenyang Yu; Ruyan Liu; Chi Zhang 073; Yu Wang 093; Ke Wang 022; Ting Su 001; Linzhang Wang (Proc. ACM Program. Lang., 2024)

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. - Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 001; Ting Su 001; Shijie Li; Yulei Sui (Proc. ACM Softw. Eng., 2024)

Are LLMs Correctly Integrated into Software Systems? - Yuchen Shao; Yuheng Huang 004; Jiawei Shen; Lei Ma 003; Ting Su 001; Chengcheng Wan 001 (ICSE, 2025)

IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. - Qichang Wang; Chuyang Chen; Ruiyang Xu; Haiying Sun; Chengcheng Wan 001; Ting Su 001; Yueling Zhang; Geguang Pu (ICSE Companion, 2025)

ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps. - Qichao Kong; Zhengwei Lv; Yiheng Xiong; Dingchun Wang; Jingling Sun; Ting Su 001; Letao Li; Xu Yang; Gang Huo (SIGSOFT FSE Companion, 2025)

HapTest: The Dynamic Analysis Framework for OpenHarmony. - Farong Liu; Mingyi Zhou; Yakun Zhang 001; Ting Su 001; Bo Sun; Jacques Klein; Xiang Gao 012; Li Li 029 (SIGSOFT FSE Companion, 2025)

Optimizing Input Minimization in Kernel Fuzzing. - Hui Guo; Hao Sun 021; Shan Huang; Ting Su 001; Geguang Pu; Shaohua Li 002 (USENIX ATC, 2025)

Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis. - Shan Huang; Jingjing Liang; Ting Su 001; Qirun Zhang (Proc. ACM Program. Lang., 2025)

Beyond Pass or Fail: A Multi-dimensional Benchmark for Mobile UI Navigation. - Dezhi Ran; Mengzhou Wu; Hao Yu; Yuetong Li; Jun Ren; Yuan Cao; Xia Zeng; Haochuan Lu; Zexin Xu; Mengqian Xu; Ting Su 001; Liangchao Yao; et al. (CoRR, 2025)

Automated detection of atomicity violations in large-scale systems. - Hang He; Yixing Luo; Chengcheng Wan 001; Ting Su 001; Haiying Sun; Geguang Pu (CoRR, 2025)