SPLASH 2014 (series) / 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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile