conf.researchr.org / Shadi Abdul Khalek
Not registered as user yet
Name:Shadi Abdul Khalek
Affiliation:Google
Contributions
| SPLASH 2014 | Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track |
Not registered as user yet
Contributions
| SPLASH 2014 | Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track |