Sarfraz Khurshid
Software · 2001–2018
A researcher in the Science corpus: 8 papers; trusts 37 researchers and is trusted by 32 researchers here, as inferred from the citation graph.
Subfields
- Software — 50 citations into it; #69 of 1,227 by trust here, #127 by citations
- Information Systems — 33 citations into it; #5,278 of 8,771 by trust here, #4,012 by citations
- Artificial Intelligence — 32 citations into it
- Computational Theory and Mathematics — 27 citations into it; #1,248 of 12,182 by trust here, #2,015 by citations
- Signal Processing — 19 citations into it; #7,255 of 7,572 by trust here, #4,051 by citations
- Computer Vision and Pattern Recognition — 15 citations into it
- Computer Networks and Communications — 12 citations into it; #7,150 of 9,886 by trust here, #7,492 by citations
- Generative Models — 11 citations into it
Whom Sarfraz Khurshid trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Daniel Jackson
- Patrice Godefroid
- Anders Møller
- Thomas Ball
- Willem Visser
- Chandrasekhar Boyapati
- Darko Marinov
- A. Cimatti
- Rupak Majumdar
- Koushik Sen
Who trusts Sarfraz Khurshid overall
- Koushik Sen
- Corina S. Pasareanu
- Darko Marinov
- Willem Visser
- Patrice Godefroid
- Tao Xie
- Gian Pietro Farina
- Paolo Tonella
- Cristian Cadar
- Theofilos Petsios
Papers from Sarfraz Khurshid's perspective
Ordered by how strongly the researchers Sarfraz Khurshid trusts endorse each paper. Same corpus, a different order for every researcher.
- Very Deep Convolutional Networks for Large-Scale Image Recognition (International Conference on Learning Representations)
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- ImageNet classification with deep convolutional neural networks
- Auto-Encoding Variational Bayes (International Conference on Learning Representations)
- Long Short-Term Memory
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Gradient-based learning applied to document recognition
- Attention is All you Need (Neural Information Processing Systems)
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Improved Techniques for Training GANs
Their papers
- Korat: automated testing based on Java predicates (2002) — 778 citations
- Generalized Symbolic Execution for Model Checking and Testing (2003) — 664 citations
- Test input generation with java PathFinder (2004) — 599 citations
- TestEra: a novel framework for automated testing of Java programs (2001) — 315 citations
- DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems (2018) — 648 citations
- Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations (2014) — 248 citations
- Improving bug localization using structured information retrieval (2013) — 433 citations
- Symbolic execution for software testing in practice: preliminary assessment (2011) — 377 citations