Registered user since Wed 29 Nov 2017
Name:Hamid Bagheri
Affiliation:University of Nebraska-Lincoln
Personal website: http://cse.unl.edu/~hbagheri/
Contributions
2021
ICSE
- Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
- Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
- Bounded Exhaustive Search of Alloy Specification Repairs
- FLACK: Counterexample-Guided Fault Localization for Alloy Models
Mining Software Repositories
ICSE 2021-profile
View general profile
View general profile