近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues Han Cui, Menglei Xie, Ting Su, Chengyu Zhang, Shin Hwei Tan
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui ACM International Conference on the Foundations of Software Engineering FSE 2024, pdf, tool.
Property-based Testing for Validating User Privacy-Related Functionalities in Social Media Apps Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu ACM International Conference on the Foundations of Software Engineering FSE 2024 (industry track), pdf, tool.
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications SPLASH/OOPSLA 2024, pdf
Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android Enze Ma#, Shan Huang#, Weigang He, Ting Su*, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering FSE 2023, pdf, tool [CCF-A]
Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps Jingling Sun, Ting Su*, Jiayi Jiang, Jue Wang, Geguang Pu*, Zhendong Su ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering FSE 2023, pdf, tool [CCF-A].
Understanding the Reproducibility Issues of Monkey for GUI Testing Huiyu Liu, Qichao Kong, Jue Wang*, Ting Su and Haiying Sun* The Symposium on Dependable Software Engineering: Theories, Tools and Applications SETTA 2023, pdf, [CCF-C]
Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning Guo Hui, Ting Su*, Xiaoqiang Liu*, Siyi Gu, Jingling Sun The 34th IEEE International Symposium on Software Reliability Engineering ISSRE 2023, pdf, [CCF-B]
An Empirical Study of Functional Bugs in Android Apps Yiheng Xiong, Mengqian Xu, Ting Su*, Jingling Sun, Jue Wang, He Wen, Geguang Pu*, Jifeng He, Zhendong Su 32th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2023, pdf, dataset [CCF-A].
ODDFUZZ: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing Sicong Cao, Biao He, Xiaobing Sun, Yu Ouyang, Chao Zhang, Xiaoxue Wu, Ting Su, Lili Bo, Bin Li, Chuanlei Ma, Jiajia Li, Tao Wei 44th IEEE Symposium on Security and Privacy S&P 2023, pdf [CCF-A].
Characterizing and Finding System Setting-Related Defects in Android Apps Jingling Sun, Ting Su*, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu*, Tao Xie, Zhendong Su IEEE Transactions on Software Engineering (TSE), 2023 (Impact Factor: 6.520), pdf, SetDroid/SetChecker [CCF-A].
Test Report Generation for Android App Testing via Heterogeneous Data Analysis Chunrong Fang*, Shengcheng Yu, Ting Su*, Jing Zhang, Yuanhan Tian, Yang Liu IEEE Transactions on Software Engineering (TSE), 2023 (Impact Factor: 6.520), pdf, [CCF-A].
Influential Global and Local Contexts Guided Trace Representation for Fault Localization Zhuo Zhang, Yan Lei, Ting Su, Meng Yan, Xiaoguang Mao, Yue Yu ACM Transactions on Software Engineering and Methodology (TOSEM), 2022 (Impact Factor: 2.674), pdf, [CCF-A].
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning Zhengwei Lv, Chao Peng*, Zhao Zhang, Ting Su*, Kai Liu, Ping Yang 37th IEEE/ACM International Conference on Automated Software Engineering ASE 2022 (industry track), pdf, [CCF-A].
Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2022, pdf, [CCF-A].
Detecting and Fixing Data Loss Issues in Android Apps Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, Xin Peng 31th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2022, pdf, iFixDataloss [CCF-A].
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs Ting Su*, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications SPLASH/OOPSLA 2021, pdf, talk video, Genie [CCF-A].
Benchmarking Automated GUI Testing for Android against Real-World Bugs Ting Su*, Jue Wang, Zhendong Su 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2021, pdf, talk video, Themis [CCF-A].
Understanding and Finding System Setting-Related Defects in Android Apps Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu*, Tao Xie, Zhendong Su 30th ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA 2021, pdf, SetDroid [CCF-A].
ReCDroid+: Automated end-to-end crash reproduction from bug reports for Android apps Yu Zhao, Ting Su, Yang Liu, Wei Zheng, Xiaoxue Wu, Ramakanth Kavuluru, William Halfond, Tingting Yu ACM Transactions on Software Engineering and Methodology (TOSEM), 2021 (Impact Factor: 2.674), [CCF-A].
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu 40th International Conference On Computer Aided Design ICCAD 2021, [CCF-B].
Why My App Crashes Understanding and Benchmarking Framework-specific Exceptions of Android apps Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, and Zhendong Su IEEE Transactions on Software Engineering (TSE), 2020 (Impact Factor: 6.520), pdf, data [CCF-A].
Improving Automated GUI Exploration of Android Apps via Static Dependency Analysis Wunan Guo, Liwei Shen, Ting Su, Xin Peng and Weiyang Xie 36th International Conference on Software Maintenance and Evolution ICSME 2020, pdf [CCF-B].
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, BIn Gu, Geguang Pu, Mengfei Yang, Jifeng He 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering FSE/ESEC 2020 (Industry Track), pdf [CCF-A].
An Empirical Assessment of Security Risks of Global Android Banking Apps Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu, and Lihua Xu 42st International Conference on Software Engineering ICSE 2020, pdf [CCF-A].
The Forgotten Case of the Dependency Bugs: On the Example of the Robot Operating System Anders Fischer-Nielsen, Zhoulai Fu, Ting Su, Andrzej W sowski 42st International Conference on Software Engineering ICSE 2020 (SEIP), pdf, video (YouTube).[CCF-A].
Finding and Understanding Bugs in Software Model Checkers Chengyu Zhang, Ting Su*, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ESEC/FSE 2019, pdf, slides, bug data [CCF-A].
Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yinfeng Chen and Changjie Fan 34th IEEE/ACM International Conference on Automated Software Engineering ASE 2019, pdf, press [CCF-A].
Deep Differential Testing of JVM Implementations Yuting Chen, Ting Su*, Zhendong Su The 41st ACM/IEEE International Conference on Software Engineering ICSE 2019, pdf [CCF-A].
ReCDroid: Automatically Reproducing Android Application Crashes from Bug Reports Yu Zhao, Tingting Yu, Ting Su, Yang Liu, Wei Zheng, Jingzhi Zhang, William G.J. Halfond The 41st ACM/IEEE International Conference on Software Engineering ICSE 2019, pdf, Tool (ReCDroid) [CCF-A].
StoryDroid: Automated Generation of Storyboard for Android Apps Sen Chen, Lingling Fan, Chunyang Chen, Ting Su, Wenhe Li, Yang Liu, Lihua Xu The 41st ACM/IEEE International Conference on Software Engineering ICSE 2019, pdf [CCF-A].
Are Mobile Banking Apps Secure What Can be Improved Sen Chen, Ting Su*, Lingling Fan, Guozhu Meng, Minhui Xue, Yang Liu, Lihua Xu The 26th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering FSE 2018 (Industry Paper), pdf [CCF-A].
Efficiently Manifesting Asynchronous Programming Errors in Android Apps Lingling Fan, Ting Su*, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu The 33rd IEEE/ACM International Conference on Automated Software Engineering ASE 2018 (acceptance rate: 19.9%), pdf [CCF-A].
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang The 33rd IEEE/ACM International Conference on Automated Software Engineering ASE 2018 (acceptance rate: 19.9%), pdf, www [CCF-A].
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Lingling Fan#, Ting Su#*, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu and Zhendong Su The 40th International Conference on Software Engineering ICSE 2018 (acceptance rate: 20%), pdf, data, slides, bibtex, award, press1, press2 [CCF-A].
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation Chunyang Chen, Ting Su*, Guozhu Meng, Zhenchang Xing and Yang Liu The 40th International Conference on Software Engineering ICSE 2018 (acceptance rate: 20%), pdf, tool (UI2code), press. [CCF-A].
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su*, Weikai Miao and Geguang Pu The 40th International Conference on Software Engineering ICSE 2018 (SEIP), pdf, slides, tool (SmartUnit) [CCF-A].
Guided, Stochastic Model-Based GUI Testing of Android Apps Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su The 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering FSE 2017 (acceptance rate: 24%), pdf, slides, tool (Stoat), Stoat (Google Site), bibtex, press (in Chinese) [CCF-A].
A Survey on Data-Flow Testing Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su ACM Computing Surveys (CSUR), 2017 (Impact Factor : 6.748), pdf, data, bibtex [SCI一区]
Automated Coverage-driven Testing: Combining Symbolic Execution and Model Checking Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su SCIENCE CHINA Information Sciences, 2016 (Impact Factor : 1.628, invited paper), pdf
Automated Requirements Validation for ATP Software via Specification Review and Testing Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen and Kunpeng Xiong The 18th International Conference on Formal Engineering Methods ICFEM 2016, pdf
FSMdroid: Guided GUI Testing of Android Apps Ting Su The 38th International Conference on Software Engineering ICSE 2016, ACM Student Research Competition, pdf, Press
Coverage-Directed Differential Testing of JVM Implementations Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI 2016 (acceptance rate: 16%), pdf, slides, talk video [CCF-A].
Combining Symbolic Execution and Model Checking for Data Flow Testing Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su 37th {IEEE/ACM} International Conference on Software Engineering ICSE 2015 (acceptance rate: 18.5%), pdf, ppt, tool (CAUT) [CCF-A].
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su 8th International Conference on Knowledge Science, Engineering and Management KSEM 2015, pdf
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution Ting Su, Siyuan Jiang, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Jianjun Zhao Eighth International Conference on Software Security and Reliability SERE 2014 (acceptance rate: 30%), pdf, slides
Runtime Verification by Convergent Formula Progression Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu and Wangwei Liu 21st Asia-Pacific Software Engineering Conference APSEC 2014, pdf
Modeling and Verification of AUTOSAR OS and EMS Application Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo Seventh International Symposium on Theoretical Aspects of Software Engineering TASE 2013, pdf
The Semantics and Verification of Timed Service Choreography Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su International Journal of Computer Mathematics IJCM 2013.
京公网安备 11010802027423号