µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android
µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android
This demo paper presents the technical details and usage scenarios of $\mu$SE: a mutation-based tool for evaluating security-focused static analysis tools for Android. Mutation testing is generally used by software practitioners to assess the robustness of a given test-suite. However, we leverage this technique to systematically evaluate static analysis tools …