AppGuard - Enforcing User Requirements on Android Apps
Abstract elided by the publisher.
Related papers
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- Targeted and depth-first exploration for systematic testing of android apps OOPSLA 2013
- Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs OOPSLA 2021
- Guided GUI testing of android apps with minimal restart and approximate learning OOPSLA 2013
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- Contract Usage and Evolution in Android Mobile Applications ECOOP 2025
- Accelerating App Recompilation across Android System Updates by Code Reusing CGO 2026
- ChimpCheck: property-based randomized test generation for interactive apps Onward! 2017