BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Germany
1 × Italy
2 × USA
Collaborated with:
S.Khurshid V.P.Narayanan B.Elkarablieh Y.O.Laleye G.Yang L.Zhang D.Marinov N.Rosner V.S.Bengolea P.Ponzio N.Aguirre M.F.Frias
Talks about:
test (7) generat (4) constraint (3) use (3) systemat (2) databas (2) solver (2) relat (2) queri (2) input (2)

Person: Shadi Abdul Khalek

DBLP DBLP: Khalek:Shadi_Abdul

Contributed to:

OOPSLA 20142014
ASE 20112011
ICST 20112011
ASE 20102010
ASE 20082008

Wrote 6 papers:

OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
ASE-2011-KhalekNK #constraints #generative
Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ICST-2011-KhalekK #constraints #database #relational #testing #theorem proving #using
Systematic Testing of Database Engines Using a Relational Constraint Solver (SAK, SK), pp. 50–59.
ASE-2010-KhalekK #automation #database #generative #query #sql #testing
Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
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.

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.