Publications (Google Scholar)

  1. 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, Genie [CCF-A类].

  2. Highlights: The first fully-automated GUI fuzzing technique to tackle the oracle problem in general for Andorid apps.

  3. 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类].

  4. Highlights: (1) The first ground-truth empirical evaluation of automated GUI testing for Android (after ten years' continuous research by our community since 2011!).
    (2) Our artifact received the Available, Functional, Reusable badge.


  5. 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类]

  6. Highlights: (1) Our technique successfully detected 17 previously unknown bugs in WeChat, QQMail, TikTok, CapCut, and AlipayHK (all these apps have billions of monthly-active users).
    (2) Our artifact received the Available, Functional, Reusable badge.


  7. 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类]

  8. 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类]

  9. 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类]

    An extension of our ICSE'18 paper (won an ACM SIGSOFT Distinguished Paper Award), includes:
    (1) a survey on how app developers analyze, debug/reproduce, detect framework-specific exceptions,
    (2) the reproducibility of existing app testing tools, and
    (3) a comprehensive dataset of android app exception bugs.


  10. 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类]

  11. 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类]

  12. 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类]

  13. 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类]

  14. 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类]
    (*Corresponding author)

  15. Highlights: (1) We found 62 critical bugs in three state-of-the-art software model checkers (CPAchecker, Seahorn and CBMC);
    (2) Searhorn and CBMC have integrated our tests as standard benchmarks.


  16. 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类]

  17. ACM SIGSOFT Distinguished Paper Award

  18. 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类]

  19. 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类]

  20. 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类]

  21. 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类]
    (*Corresponding author)

  22. 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类]
    (*Corresponding author)

  23. 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类]

    ACM SIGSOFT Distinguished Paper Award

  24. 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 [CCF-A类]
    (#Equal Contribution, *Corresponding author)

  25. ACM SIGSOFT Distinguished Paper Award

    Highlights: (1) largest and most comprehensive fault study: collected 8,243 framework-specific exceptions (crashes) from 2,486 open-source Android apps by using Stoat and Github, and analyzed their characteristics, manifestation, and fixes.
    (2) motivated several follow-up research: bug detection, fault localization and patch generation.


  26. 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) [CCF-A类]
    (*Corresponding author)

  27. 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类]
    (*Corresponding author)

    Highlights: (1) SmartUnit has been applied in several industry-scale embeded control systems, tested millions lines of C code.
    (2) SmartUnit fully automatically supports unit testing for statement, branch, boundary value and MC/DC coverage.


  28. AndroVault: Constructing Knowledge Graph from Millions of Android Apps for Automated Analysis
    Guozhu Meng, Yinxing Xue, Jing Kai Siow, Ting Su, Annamalai Narayanan, Yang Liu
    arXiv, 2018

  29. 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类]

    Highlights: Stoat has (1) contributted to these popular apps: WeChat (1 bug), Gmail (1 bug), and Google+ (2 bugs). All these bugs were reported and confirmed/fixed.
    (2) tested 6000+ open-source and commercial Android apps in the past one year, and detected 5800+ fatal crashes.
    (3) won Best Research Tool Award (First Prize, pdf) in NASAC 2017 (National Software Application Conference) held by CCF.
    (3) won NTUitive Gap Fund Grant.


    Best (First Place) Research Prototype Tool Award

  30. 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一区]

  31. 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

  32. 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

  33. FSMdroid: Guided GUI Testing of Android Apps
    Ting Su
    The 38th International Conference on Software Engineering
    ICSE 2016, ACM Student Research Competition, pdf, Press

    Golden Medal (First Place) of ACM Student Research Competition

  34. 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类]

  35. 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类]

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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.