Soha Hussein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AST | Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. | Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma, Mike Whalen |
| 2023 | TACAS | Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). | Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen |
| 2020 | TACAS | Java Ranger at SV-COMP 2020 (Competition Contribution). | Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser |
| 2012 | PLDI | Security-policy monitoring and enforcement with JavaMOP. | Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu |