Sarfraz Khurshid
Identifiers
No identifiers captured yet.
Papers (5)
- CRN++: Molecular Programming Language cs.ET · 2018 · author #3
- Executable Trigger-Action Comments cs.SE · 2018 · author #4
- Symbolic Execution for Deep Neural Networks cs.SE · 2018 · author #5
- Fault Localization for Declarative Models in Alloy cs.SE · 2018 · author #4
- DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing cs.SE · 2018 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Kaiyuan Wang 2 shared papers
- Mengshi Zhang 2 shared papers
- Allison Sullivan 1 shared papers
- Cong Liu 1 shared papers
- Corina S. Pasareanu 1 shared papers
- Darko Marinov 1 shared papers
- David Soloveichik 1 shared papers
- Divya Gopinath 1 shared papers
- Junyi Jessy Li 1 shared papers
- Lingming Zhang 1 shared papers
- Marko Vasic 1 shared papers
- Milos Gligoric 1 shared papers
- Pengyu Nie 1 shared papers
- Raymond J. Mooney 1 shared papers
- Rishabh Rai 1 shared papers
- Yuqun Zhang 1 shared papers