Baiyan Li

dblp:30/6930 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
2since 2021 · last 2024
0000-0001-6715-8417ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author
YearPublicationVenuePosition
2024 Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration
Siyi Gu, Bochun Cao, Baiyan Li, Lizhi Cai, Hu Yun
TASE5
2021 SQDroid: A Semantic-Driven Testing for Android Apps via Q-learning
abstract
Android apps are popular in our daily life, while the testing and maintenance of them is still an open challenge. Random-based testing tools are time-consuming and model-based testing tools are unrealistic to construct all functional behaviors precisely. Existing testing tools based on reinforcement learning not only have difficulty in understanding the business logic of an application, but also face the problem of state explosion during testing. In this paper, we propose SQDroid, a semantic-driven approach for Android apps based Q-learning. SQDroid encourages the Q-learning agent to prefer the actions with functional semantics through a dynamic semantic reward function, which is beneficial to the understand business logic of an app. A state clustering module, employed to compress the state space in Q-table, utilizes the widget attributes on GUI hierarchy to abstract a state. It can reduce the number of states in Q-table and avoid the execution of repetitive actions. We evaluate SQDroid on 48 open-source Android apps. The results show SQDroid outperforms the state-of-the-art model-based/search-based technique/reinforcement learning-based Stoat, Sapienz and Q-testing in terms of code coverage and fault revelation.
Baiyan Li, Lizhi Cai, Yun Hu 0010
QRS3
2004 A Grid-Based Application Delivery Toolkit for Ubiquitous Computing
Baiyan Li, Ruonan Rao, Minglu Li 0001, Jinyuan You
EUC1
2004 A Formal Model for the Grid Security Infrastructure
Baiyan Li, Ruonan Rao, Minglu Li 0001, Jinyuan You
WISE1