Shadi Abdul Khalek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2014
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2011 | ICST | Systematic Testing of Database Engines Using a Relational Constraint Solver. | Shadi Abdul Khalek, Sarfraz Khurshid |
| 2011 | ISSRE | Efficiently Running Test Suites Using Abstract Undo Operations. | Shadi Abdul Khalek, Sarfraz Khurshid |