AndroidPropTracker : Mining Lifetime Properties of Android Projects | IEEE Conference Publication | IEEE Xplore