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