Travelled to:1 × Canada
1 × Italy
1 × New Zealand
2 × Germany
3 × USA
Collaborated with:S.Khurshid P.Godefroid M.Y.Levin D.Marinov Y.Zayour M.Z.Malik K.Ghori S.A.Khalek Y.O.Laleye I.Garcia Y.L.Suen D.Vu K.S.McKinley
Talks about:structur (5) complex (4) repair (4) data (4) generat (3) effici (3) constraint (2) test (2) use (2) thousand (1)
Person: Bassem Elkarablieh
DBLP: Elkarablieh:Bassem
Contributed to:
2009
20092008
200820082007
2007
2007Wrote 8 papers:
- ASE-2009-MalikGEK #automation #data type #debugging #using
- A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
- ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing
- Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
- ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using
- Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.
- ICSE-2008-ElkarabliehK #data type #named
- Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.
- ISSTA-2008-ElkarabliehMK #constraints #performance
- Efficient solving of structural constraints (BE, DM, SK), pp. 39–50.
- ASE-2007-ElkarabliehGSK #data type
- Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.
- ECOOP-2007-ElkarabliehZK #generative
- Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.
- OOPSLA-2007-ElkarabliehKVM #named #performance #static analysis
- Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.