Sarfraz Khurshid
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Software Engineering Research, Formal Methods in Verification, Software System Performance and Reliability
Most-Cited Works
- → Korat(2002)592 cited
- → DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems(2018)584 cited
- → Generalized Symbolic Execution for Model Checking and Testing(2003)561 cited
- → Test input generation with java PathFinder(2004)500 cited
- → Improving bug localization using structured information retrieval(2013)379 cited
- → Symbolic execution for software testing in practice(2011)326 cited
- → TestEra: a novel framework for automated testing of Java programs(2005)257 cited
- → Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations(2014)204 cited
- → TestEra: Specification-Based Testing of Java Programs Using SAT(2004)184 cited