Invited Talks/Presentations

• Title:GUI应用自动化测试技术新范式研究与探索
  华为公司第一届终端测试技术大会, 东莞, Oct 25, 2024.
  


• Title:面向鸿蒙应用的开发者自动化测试技术新范式
  第三界Openharmony技术大会, 上海, Oct 12-13, 2024.
  


• Title:Validating Functional Correctness of Mobile Apps via Property-based Fuzzing
  MODAL@FSE24, Brazil, July, 2024.
  


• Title:移动应用软件功能正确性验证探索
  荣耀公司第一届软件工程大会, Jan 19, 2024.
  


• Title:软件测试Oracle自动判定技术和探索
  华为武研大讲堂, May 26, 2023.
  


• Title:Automatically Finding Non-crashing Logic Bugs in Mobile Apps
  DSA可信智能系统论坛, August 8-9, 宁夏银川 2022.
  


• Title:移动应用软件功能正确性的自动化测试探索
  第四届智能化软件工程研讨会, Nov 27, YangZhou 2021.
  


• Title:利用蜕变测试实现移动应用软件功能正确性验证
  第四届中国蜕变测试研讨会, Oct 30-31, HangZhou 2021.
  


• Title:移动应用软件功能错误的自动化测试：新的探索和思考
  西安市智能软件工程重点实验室第一届青年学者论坛, August 26-27. 2021.
  Let's GoSSIP 软件安全暑期学校, July 28 - August 1. 2021.
  


• GAP Interview: Getting Academic Position (学术圈求职经验分享)
  My Episode (on YouTube), Full Series (on YouTube), invited by Manuel Rigger. July 2021.
  


• Title:Advancing the State-of-the-Art of Mobile GUI Fuzzing
  ITU, Denmark, virtual, March 8. 2021.
  AST Lab, ETH, virtual, May 11. 2021.
  南方科技大学前沿讲座, 计算机系, Shenzhen, Sep 26. 2021.
  WDMD Workshop, ISSRE 2021, Wuhan, Oct 25. 2021.


• Title:移动应用软件的自动化测试：新的思考和探索
  CCF软件前沿论坛, virtual, Dec. 2020.


• Title:移动应用软件的自动化功能测试
  Chinasoft 2020 (YR-FMAC), Chongqing, China, Nov. 2020.


• Title:Automated GUI testing for Android apps: from crash bugs to functional bugs (移动应用软件的自动化测试：从崩溃错误到功能错误)
  CNCC 2020, Beijing, China, Oct. 2020. [Talk video]


• Title:Large-Scale Analysis of Framework-Specific Exceptions in Android Apps
  ISEC 2019, Pune, India, Feb. 2019


• Title:Pushing the limits of automated testing for mobile applications
  A-MOBILE 2018, Montpellier, France, Sep. 2018


• Title: Guided, Stochastic Model-based GUI Testing of Android Apps
  Cybertech Asia 2018, Singapore, 27-28 March, 2018


• Title: Stoat: A cloud-based Mobile App Testing Service
  DSTA, Singapore, 5 March, 2018


• Title: Stoat: Guided, Stochastic Model-based GUI Testing of Android Apps
  长三角智慧软件工程研讨会, Shanghai, China, 10-11 November, 2017


• Title:Combining Symbolic Execution and Model Checking for Data Flow Testing
  Shanghai Jiaotong University, Shanghai, China, 4 May, 2015