A Benchmark of Data Loss Bugs for Android Apps | IEEE Conference Publication | IEEE Xplore