SPLASH 2014 (series) / Shadi Abdul Khalek
Not registered as user yet
Name:Shadi Abdul Khalek
Affiliation:Google
Contributions
SPLASH 2014 | Bounded Exhaustive Test Input Generation from Hybrid Invariants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile