Sarfraz Khurshid mostly deals with Programming language, Java, Symbolic execution, Theoretical computer science and Software. His work is connected to Data structure, Correctness, Program analysis, Java Modeling Language and Source code, as a part of Programming language. His Java research includes themes of Data mining, Interface, Test case, Debugging and Software engineering.
His work is dedicated to discovering how Symbolic execution, Model checking are connected with Deadlock and other disciplines. His study in Theoretical computer science is interdisciplinary in nature, drawing from both State, Concurrency, Database engine, Heuristics and Assertion. He works mostly in the field of Software, limiting it down to concerns involving Algorithm and, occasionally, Integer, System testing and Selection.
The scientist’s investigation covers issues in Programming language, Theoretical computer science, Java, Symbolic execution and Software. His Theoretical computer science study deals with Key intersecting with Computation and Artificial intelligence. His Java research integrates issues from Java pathfinder, Debugging and Software engineering.
His work on Concolic testing as part of general Symbolic execution research is frequently linked to Context, bridging the gap between disciplines. His Software research incorporates elements of Test suite and Data mining. The Correctness study combines topics in areas such as Test case and Oracle.
Sarfraz Khurshid focuses on Key, Artificial intelligence, Programming language, Java and Machine learning. Sarfraz Khurshid has researched Key in several fields, including Embedding, Formal methods, Computation and Theoretical computer science. His study explores the link between Theoretical computer science and topics such as Solver that cross with problems in Focus.
His Programming language research includes elements of Variety and Transitive closure. His studies in Java integrate themes in fields like Software engineering, Executable, State and Imperative programming. His Symbolic execution research is multidisciplinary, relying on both Software testing and Code.
His scientific interests lie mostly in Artificial intelligence, Machine learning, Java, Programming language and Theory of computation. His Artificial intelligence research is multidisciplinary, incorporating elements of Symbolic data analysis and Identification. In his study, Model checking is strongly linked to Leverage, which falls under the umbrella field of Java.
His work in the fields of Programming language, such as Correctness and Java syntax, intersects with other areas such as Stateful firewall. His research investigates the link between Theory of computation and topics such as Semantics that cross with problems in Key. His biological study spans a wide range of topics, including Theoretical computer science and Compiler.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Korat: automated testing based on Java predicates
Chandrasekhar Boyapati;Sarfraz Khurshid;Darko Marinov.
international symposium on software testing and analysis (2002)
Generalized symbolic execution for model checking and testing
Sarfraz Khurshid;Corina S. Păsăreanu;Willem Visser.
tools and algorithms for construction and analysis of systems (2003)
Test input generation with java PathFinder
Willem Visser;Corina S. Pǎsǎreanu;Sarfraz Khurshid.
international symposium on software testing and analysis (2004)
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu.
international conference on software engineering (2011)
TestEra: a novel framework for automated testing of Java programs
D. Marinov;S. Khurshid.
automated software engineering (2001)
Improving bug localization using structured information retrieval
Ripon K. Saha;Matthew Lease;Sarfraz Khurshid;Dewayne E. Perry.
automated software engineering (2013)
Directed incremental symbolic execution
Suzette Person;Guowei Yang;Neha Rungta;Sarfraz Khurshid.
programming language design and implementation (2011)
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems
Mengshi Zhang;Yuqun Zhang;Lingming Zhang;Cong Liu.
automated software engineering (2018)
TestEra: Specification-Based Testing of Java Programs Using SAT
Sarfraz Khurshid;Darko Marinov.
automated software engineering (2004)
Exploring very large state spaces using genetic algorithms
Patrice Godefroid;Sarfraz Khurshid.
tools and algorithms for construction and analysis of systems (2004)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: