14 citations · 31 across the 6 of their papers we have counts for
6 papers · 1 filter
Accessible or Not? An Empirical Investigation of Android App Accessibility
Sen Chen, Chunyang Chen, Lingling Fan +3
Mobile apps provide new opportunities to people with disabilities to act independently in the world. Motivated by this trend, researchers have conducted empirical studies by using…
An Empirical Evaluation of GDPR Compliance Violations in Android mHealth Apps
Ming Fan, Le Yu, Sen Chen +6
The purpose of the General Data Protection Regulation (GDPR) is to provide improved privacy protection. If an app controls personal data from users, it needs to be compliant with G…
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…
Automated synthesis of local time requirement for service composition
Étienne André, Tian Huat Tan, Manman Chen +4
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time c…
LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics
Xiaoning Du, Bihuan Chen, Yuekang Li +4
Identifying potentially vulnerable locations in a code base is critical as a pre-step for effective vulnerability assessment; i.e., it can greatly help security experts put their t…
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
Reactive systems are composed of a well defined set of input events that the system reacts with by executing an associated handler to each event. In concurrent environments, event…