Sarfraz Khurshid

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shadi Abdul Khalek

> Home > Persons > Sarfraz Khurshid

Publications

2014
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RosnerBPKAFK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RosnerBPKAFK14
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid:
Bounded exhaustive test input generation from hybrid invariants. OOPSLA 2014: 655-674
2011
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KhalekK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KhalekK11
Shadi Abdul Khalek, Sarfraz Khurshid:
Systematic Testing of Database Engines Using a Relational Constraint Solver. ICST 2011: 50-59
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/KhalekK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/KhalekK11
Shadi Abdul Khalek, Sarfraz Khurshid:
Efficiently Running Test Suites Using Abstract Undo Operations. ISSRE 2011: 110-119
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KhalekNK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KhalekNK11
Shadi Abdul Khalek, Vidya Priyadarshini Narayanan, Sarfraz Khurshid:
Mixed constraints for test input generation - An initial exploration. ASE 2011: 548-551
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KhalekYZMK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KhalekYZMK11
Shadi Abdul Khalek, Guowei Yang, Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
TestEra: A tool for testing Java programs using alloy specifications. ASE 2011: 608-611
2010
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KhalekK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KhalekK10
Shadi Abdul Khalek, Sarfraz Khurshid:
Automated SQL query generation for systematic testing of database engines. ASE 2010: 329-332
2008
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KhalekELK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KhalekELK08
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid:
Query-Aware Test Generation Using a Relational Constraint Solver. ASE 2008: 238-247

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.