Validating functional correctness of mobile apps is challenging for manual testing and automated UI testing (limited to simple crashing bugs). Property-based testing is promising to tackle this challenge given functional properties. To this end, we introduce Kea2, a practical property-based testing tool for apps: (1) specifying properties in Python with enough flexibility and expressiveness; and (2) reusing existing GUI fuzzing techniques to support effective property checking. Indeed, Kea2 can find functional (logic) bugs in real-world apps. Kea2 has been open-sourced at https://github.com/ecnusse/Kea2 (a demo video: https://youtu.be/HS4rTCcaSPE ), and received positive feedback for its usability and features.
Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change
Wed 8 Jul
Displayed time zone: Eastern Time (US & Canada) change
16:00 - 17:00 | Mobile Apps 2Research Papers / Ideas, Visions and Reflections / Industry Papers / Tool Demonstrations at MB 3.210 Chair(s): Jingling Sun University of Electronic Science and Technology of China | ||
16:00 20mTalk | GUIMigrator: Semantics-Preserving Transpilation from Android XML to Compose and SwiftUI Research Papers Yi Gao Zhejiang University, Xing Hu Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University Pre-print | ||
16:20 10mTalk | Kea2: Practical Property-based Testing for Mobile Apps Tool Demonstrations Xixian Liang East China Normal University, Cheng Peng East China Normal University, Bo Ma East China Normal University, Xiangchen Shen East China Normal University, Yiheng Xiong Singapore Management University, Ting Su East China Normal University | ||
16:30 20mTalk | What You See Is Not What You Tap: Detecting Misalignments between Visual and Interactive Boundaries in Mobile Apps Industry Papers Qingyang Qiu College of Computer Science and Artificial Intelligence, Fudan University, Xuan Wang Fudan University, Jintao Wang College of Computer Science and Artificial Intelligence, Fudan University, Yongxiang Hu Fudan University, Hailiang Jin Meituan Inc., Xingjian Yang College of Computer Science and Artificial Intelligence, Fudan University, Yao Xu College of Computer Science and Artificial Intelligence, Fudan University, Shiyu Guo Meituan Inc., Juxing Yuan Meituan Inc., Yangfan Zhou Fudan University | ||
16:50 10mTalk | Characterizing Real-World Accessibility Issues Reported in Kotlin Mobile Apps Ideas, Visions and Reflections Benjamín Enrique González-Briones Pontificia Universidad Católica de Chile, Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Alison Fernandez-Blanco Pontificia Universidad Católica de Chile, Leonel Merino Pontificia Universidad Católica de Chile, Camilo Escobar-Velásquez Universidad de los Andes, Colombia, Mario Linares-Vásquez Universidad de los Andes | ||