Efficiently Generating Structurally Complex Inputs with Thousands of Objects. - Bassem Elkarablieh; Yehia Zayour; Sarfraz Khurshid (ECOOP, 2007)

Assertion-based repair of complex data structures. - Bassem Elkarablieh; Iván García; Yuk Lai Suen; Sarfraz Khurshid (ASE, 2007)

Starc: static analysis for efficient repair of complex data. - Bassem Elkarablieh; Sarfraz Khurshid; Duy Vu; Kathryn S. McKinley (OOPSLA, 2007)

Juzi: a tool for repairing complex data structures. - Bassem Elkarablieh; Sarfraz Khurshid (ICSE, 2008)

Efficient solving of structural constraints. - Bassem Elkarablieh; Darko Marinov; Sarfraz Khurshid (ISSTA, 2008)

Query-Aware Test Generation Using a Relational Constraint Solver. - Shadi Abdul Khalek; Bassem Elkarablieh; Yai O. Laleye; Sarfraz Khurshid (ASE, 2008)

Precise pointer reasoning for dynamic test generation. - Bassem Elkarablieh; Patrice Godefroid; Michael Y. Levin (ISSTA, 2009)

A Case for Automated Debugging Using Data Structure Repair. - Muhammad Zubair Malik; Khalid Ghori; Bassem Elkarablieh; Sarfraz Khurshid (ASE, 2009)