Efficient, evolutionary security analysis of interacting android apps H Bagheri, J Wang, J Aerts, S Malek 2018 IEEE International conference on software maintenance and evolution …, 2018 | 16 | 2018 |
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. G Zheng, H Bagheri, G Rothermel, J Wang FASE, 29-52, 2020 | 15 | 2020 |
Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes H Bagheri, J Wang, J Aerts, N Ghorbani, S Malek Empirical Software Engineering 26, 1-37, 2021 | 13 | 2021 |
An evolutionary approach for analyzing alloy specifications J Wang, H Bagheri, MB Cohen Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 5 | 2018 |
EvoAlloy: An Evolutionary Approach For Analyzing Alloy Specifications J Wang | | 2018 |