1. Automated concolic testing of smartphone apps;Anand,2012
2. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps;Arzt,2014
3. Global-aware recommendations for repairing violations in exception handling;Barbosa;IEEE Trans. Softw. Eng.,2017
4. Dexpler: converting Android Dalvik bytecode to jimple for static analysis with soot;Bartel,2012
5. Phosphor: Illuminating dynamic data flow in commodity JVMs;Bell,2014