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: Khalek:Shadi_Abdul
Contributed to:
2014
2011
201120102008Wrote 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.