Soha Hussein

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Topics

Symbolic Execution

Inductive Concept Learning

Open Source Java

Top Venues

ESEC/SIGSOFT FSE

Publications

Soha Hussein, Stephen McCamant, Mike Whalen
Generator-Based Fuzzers with Type-Based Targeted Mutation. CoRR (2024)
Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST (2023)
Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) (2023)
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE (2022)
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Counterexample Guided Inductive Repair of Reactive Contracts. ASE (2021)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE (2020)
Thierry Sans, Iliano Cervesato, Soha Hussein
Controlling Data Flow with a Policy-Based Programming Language for the Web. NordSec (2013)
Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu
Security-policy monitoring and enforcement with JavaMOP. PLAS (2012)