Automated Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps | AMiner