"Android-SRV: Scenario-Based Runtime Verification of Android Applications."

Pengcheng Zhang, Kun Cheng, Jerry Gao (2018)

Details and statistics

DOI: 10.1142/S0218194018500080

access: closed

type: Journal Article

metadata version: 2023-06-21