BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Elkarablieh:Bassem

Contributed to:

ASE 20092009
ISSTA 20092009
ASE 20082008
ICSE 20082008
ISSTA 20082008
ASE 20072007
ECOOP 20072007
OOPSLA 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.