Soha Hussein -

Registered user since Sun 12 Jul 2020

Name:Soha Hussein

Affiliation:University of Minnesota, USA / Ain Shams University, Egypt

Personal website: https://sohah.github.io/

Contributions

2025

ASE

Publication Co-chair in Organizing Committee

ISSTA

PC Member in Tool Demonstrations Committee within the Tool Demonstrations-track

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