Baiyan Li

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 2

Top Topics

Android Application

Mobile Platforms

Semantic Description

Guided Exploration

Top Venues

Publications

Siyi Gu, Xiaoqiang Liu, Hui Guo, Bochun Cao, Baiyan Li, Lizhi Cai, Hu Yun
Finding Deep-Hidden Bugs in Android Apps via Functional Semantics Guided Exploration. TASE (2024)
Hui Guo, Xiaoqiang Liu, Baiyan Li, Lizhi Cai, Yun Hu, Jing Cao
SQDroid: A Semantic-Driven Testing for Android Apps via Q-learning. QRS (2021)
Hui Song, Lifeng Wang, Baiyan Li, Xiaoqiang Liu
New Cluster Detection Based on Multi-Representation Index Tree Text Clustering. DBTA (2010)
Baiyan Li, Ruonan Rao, Minglu Li, Jinyuan You
A Formal Model for the Grid Security Infrastructure. WISE (2004)
Wensheng Yao, Jinyuan You, Baiyan Li
Main sequences genetic scheduling for multiprocessor systems using task duplication. Microprocess. Microsystems 28 (2) (2004)
Baiyan Li, Ruonan Rao, Minglu Li, Jinyuan You
A Grid-Based Application Delivery Toolkit for Ubiquitous Computing. EUC (2004)
Baiyan Li, Ruonan Rao, Jinyuan You, Minglu Li
A Formal Logic for Shared Resource Access Control in the Grid. GCC Workshops (2004)
Baiyan Li, Wensheng Yao, Jinyuan You
Modeling Trust Management System for Grids. GCC (1) (2003)
Ruonan Rao, Baiyan Li, Minglu Li, Jinyuan You
The Delivery and Accounting Middleware in the ShanghaiGrid. GCC (1) (2003)
Wensheng Yao, Baiyan Li, Jinyuan You
Genetic Scheduling on Minimal Processing Elements in the Grid. Australian Joint Conference on Artificial Intelligence (2002)