Concepedia

Hamid Bagheri

HB

Statistics

Publications

42

Citations

1.4K

H-Index

23

Active since

1998

Affiliations

University of Nebraska–Lincoln(Current)

University of California, Irvine

University of Virginia

George Mason University

Buenos Aires Institute of Technology

Hamid Bagheri is an author at University of Nebraska–Lincoln specializing in engineering, software analysis, and program analysis.

Top concepts

EngineeringSoftware AnalysisComputer ScienceProgram AnalysisSoftware EngineeringSoftware DesignFormal VerificationSoftware TestingSystem SoftwareMobile Computing

Publications per year

1998–2023

42

Publications

42

Reducing combinatorics in GUI testing of android applications

Nariman Mirzaei, Joshua Garcia, Hamid Bagheri et al. · 2016 · 154 citations

Engineering, System Testing, Program Analysis +15

A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software

Alireza Sadeghi, Hamid Bagheri, Joshua Garcia et al. · IEEE Transactions on Software Engineering · 2016 · 139 citations

Mobile Security, Engineering, Information Security +22

COVERT: Compositional Analysis of Android Inter-App Permission Leakage

Hamid Bagheri, Alireza Sadeghi, Joshua Garcia et al. · IEEE Transactions on Software Engineering · 2015 · 133 citations

SIG-Droid: Automated system input generation for Android applications

Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood et al. · 2015 · 68 citations

Engineering, Test Data Generation, Software Engineering +20

A formal approach for detection of security flaws in the android permission system

Hamid Bagheri, Eunsuk Kang, Sam Malek et al. · Formal Aspects of Computing · 2017 · 62 citations

1–5 of 42