VLDB 2026 Research / reviewers in the wild / expert
Baiyan Li
dblp:30/6930
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration
Siyi Gu, Bochun Cao, Baiyan Li, Lizhi Cai, Hu Yun |
TASE | 5 |
| 2021 | SQDroid: A Semantic-Driven Testing for Android Apps via Q-learningabstractAndroid 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 |
QRS | 3 |
| 2004 | A Grid-Based Application Delivery Toolkit for Ubiquitous Computing
Baiyan Li, Ruonan Rao, Minglu Li 0001, Jinyuan You |
EUC | 1 |
| 2004 | A Formal Model for the Grid Security Infrastructure
Baiyan Li, Ruonan Rao, Minglu Li 0001, Jinyuan You |
WISE | 1 |