Bassem Elkarablieh

According to our database, Bassem Elkarablieh authored at least 8 papers between 2007 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A Case for Automated Debugging Using Data Structure Repair.

Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid

Proceedings of the ASE 2009, 2009

Precise pointer reasoning for dynamic test generation.

Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008

Query-Aware Test Generation Using a Relational Constraint Solver.

Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Efficient solving of structural constraints.

Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Juzi: a tool for repairing complex data structures.

Bassem Elkarablieh, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Starc: static analysis for efficient repair of complex data.

Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Assertion-based repair of complex data structures.

Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Efficiently Generating Structurally Complex Inputs with Thousands of Objects.

Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007