Hamid Bagheri

Hamid Bagheri

Massachusetts Institute of Technology - Cambridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1598749
person_outline Hamid Bagheri's MOST POPULAR ARTICLES
1-) Reducing combinatorics in GUI testing of android applicationsN Mirzaei, J Garcia, H Bagheri, A Sadeghi, S MalekProceedings of the 38th International Conference on Software Engineering …, 20161622016
2-) Covert: Compositional analysis of android inter-app permission leakageH Bagheri, A Sadeghi, J Garcia, S MalekIEEE transactions on Software Engineering 41 (9), 866-886, 20151622015
3-) A taxonomy and qualitative comparison of program analysis techniques for security assessment of android softwareA Sadeghi, H Bagheri, J Garcia, S MalekIEEE Transactions on Software Engineering 43 (6), 492-530, 20161402016
4-) Sig-droid: Automated system input generation for android applicationsN Mirzaei, H Bagheri, R Mahmood, S Malek2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015992015
5-) A formal approach for detection of security flaws in the android permission systemH Bagheri, E Kang, S Malek, D JacksonFormal Aspects of Computing 30, 525-544, 2018802018