| 2008 |
|---|
| 6 | EE | Shadi Abdul Khalek,
Bassem Elkarablieh,
Yai O. Laleye,
Sarfraz Khurshid:
Query-Aware Test Generation Using a Relational Constraint Solver.
ASE 2008: 238-247 |
| 5 | EE | Bassem Elkarablieh,
Sarfraz Khurshid:
Juzi: a tool for repairing complex data structures.
ICSE 2008: 855-858 |
| 4 | EE | Bassem Elkarablieh,
Darko Marinov,
Sarfraz Khurshid:
Efficient solving of structural constraints.
ISSTA 2008: 39-50 |
| 2007 |
|---|
| 3 | EE | Bassem Elkarablieh,
Ivan Garcia,
Yuk Lai Suen,
Sarfraz Khurshid:
Assertion-based repair of complex data structures.
ASE 2007: 64-73 |
| 2 | EE | Bassem Elkarablieh,
Yehia Zayour,
Sarfraz Khurshid:
Efficiently Generating Structurally Complex Inputs with Thousands of Objects.
ECOOP 2007: 248-272 |
| 1 | EE | Bassem Elkarablieh,
Sarfraz Khurshid,
Duy Vu,
Kathryn S. McKinley:
Starc: static analysis for efficient repair of complex data.
OOPSLA 2007: 387-404 |
