Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis | IEEE Conference Publication | IEEE Xplore