Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Soha Hussein
conf.researchr.org general profile
ASE 2021 profile
ASE 2025 profile
ESEC/FSE 2020 profile
ICSE 2022 profile
ICSE 2023 profile
Registered user since Sun 12 Jul 2020
Name:
Soha Hussein
Affiliation:
University of Minnesota, USA / Ain Shams University, Egypt
Contributions
2025
ASE
Publication Co-chair in Organizing Committee
2023
AST
Author of Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution within the AST 2023-track
2022
FormaliSE
Author of Counterexample-Guided Inductive Repair of Reactive Contracts within the FormaliSE 2022-track
2021
ASE
Author of Counterexample Guided Inductive Repair of Reactive Contracts within the Late Breaking Results-track
2020
ESEC/FSE
Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research Papers-track
Share
x
Thu 21 Nov 13:08
