Old Web
English
Sign In
Acemap
>
authorDetail
>
Soha Hussein
Soha Hussein
Ain Shams University
Java
Computer science
Symbolic execution
Programming language
Operating system
2
Papers
7
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Java Ranger at SV-COMP 2020 (Competition Contribution)
2020
TACAS | Tools and Algorithms for Construction and Analysis of Systems
Vaibhav Sharma
Soha Hussein
Michael W. Whalen
Stephen McCamant
Willem Visser
Show All
Source
Cite
Save
Citations (5)
1