465 citations · 611 across the 12 of their papers we have counts for
13 papers
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Jialun Cao, Meiziniu Li, Xiao Chen +4
As Deep Learning (DL) systems are widely deployed for mission-critical applications, debugging such systems becomes essential. Most existing works identify and repair suspicious ne…
Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps
Sinan Wang, Yibo Wang, Xian Zhan +4
The Android platform introduces the runtime permission model in version 6.0. The new model greatly improves data privacy and user experience, but brings new challenges for app deve…
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
Huaxun Huang, Ming Wen, Lili Wei +2
XML configuration files are widely used in Android to define an app's user interface and essential runtime information such as system permissions. As Android evolves, it might intr…
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Lu Liu, Lili Wei, Wuqi Zhang +3
Smart contracts are programs running on blockchain to execute transactions. When input constraints or security properties are violated at runtime, the transaction being executed by…
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward
Ying Wang, Yibo Wang, Sinan Wang +5
Android introduces a new permission model that allows apps to request permissions at runtime rather than at the installation time since 6.0 (Marshmallow, API level 23). While this…
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications
Wuqi Zhang, Lili Wei, Shuqing Li +2
Since the emergence of Ethereum, blockchain-based decentralized applications (DApps) have become increasingly popular and important. To balance the security, performance, and costs…