Publisher
Springer Nature Switzerland
Reference28 articles.
1. Alloy toolset. https://alloytools.org. Accessed Apr 2024
2. Alhanahnah, M., Stevens, C., Bagheri, H.: Scalable analysis of interaction threats in IoT systems. In: ISSTA, pp. 272–285 (2020)
3. Almulla, H., Gay, G.: Learning how to search: generating effective test cases through adaptive fitness function selection. Empir. Softw. Eng. 27(2), 38 (2022). https://doi.org/10.1007/s10664-021-10048-8
4. Bagheri, H., Kang, E., Malek, S., Jackson, D.: A formal approach for detection of security flaws in the Android permission system. FAOC 30, 525–544 (2018)
5. Bagheri, H., Malek, S.: Titanium: efficient analysis of evolving alloy specifications. In: FSE, pp. 27–38 (2016)