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