Soha Hussein

According to our database, Soha Hussein authored at least 8 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generator-Based Fuzzers with Type-Based Targeted Mutation.

Soha Hussein, Stephen McCamant, Mike Whalen

CoRR, 2024

2023

Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution).

Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution.

Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2021

Counterexample Guided Inductive Repair of Reactive Contracts.

Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Java Ranger at SV-COMP 2020 (Competition Contribution).

Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Java Ranger: statically summarizing regions for efficient symbolic execution of Java.

Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2013

Controlling Data Flow with a Policy-Based Programming Language for the Web.

Thierry Sans, Iliano Cervesato, Soha Hussein

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

2012

Security-policy monitoring and enforcement with JavaMOP.

Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012