1. TaintBench: Automatic real-world malware benchmarking of Android taint analyses;Empirical Software Engineering;2021-10-29
2. Empirical Investigation of Code Quality Rule Violations in HPC Applications;Evaluation and Assessment in Software Engineering;2021-06-18
3. TACAI: an intermediate representation based on abstract interpretation;Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2020-06
4. Is Static Analysis Able to Identify Unnecessary Source Code?;ACM Transactions on Software Engineering and Methodology;2020-01-31
5. Machine Learning Techniques for Code Smells Detection: A Systematic Mapping Study;International Journal of Software Engineering and Knowledge Engineering;2019-02