Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.
Ting SuYichen YanJue WangJingling SunYiheng XiongGeguang PuKe WangZhendong SuPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- fully automated
- mobile applications
- fully automatic
- android platform
- mobile apps
- mobile platforms
- semi automated
- development tools
- manual segmentation
- completely automated
- android application
- source code
- labor intensive
- mobile devices
- modal logic
- semi automatic
- automatic detection
- image reconstruction
- ground truth
- image analysis