Detecting data manipulation errors in android applications using scene-guided exploration
摘要
Data manipulation functionalities (DMFs) refer to operations such as create, read, update and delete which are crucial for maintaining the integrity of Android application (app) data. Existing testing techniques often fail to explicitly verify DMFs in combination, having limited capability to uncover non-crashing data manipulation errors (DMEs). In this paper, we propose a novel approach