Capturing Inter-process Communication for Runtime Verification on Android

Alex VillazónHaiyang SunWalter Binder2026-03-222026-03-22201810.1007/978-3-030-03427-6_4https://doi.org/10.1007/978-3-030-03427-6_4https://andeanlibrary.org/handle/123456789/81273Citaciones: 2enAndroid (operating system)Computer scienceJavaAndroid applicationOperating systemDistributed computingProgramming languageCapturing Inter-process Communication for Runtime Verification on Androidbook-chapter