The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sarfraz Khurshid: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
    Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:21-33 [Conf]
  2. Darko Marinov, Sarfraz Khurshid
    VAlloy - Virtual Functions Meet a Relational Language. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:234-251 [Conf]
  3. Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
    Korat: A Tool for Generating Structurally Complex Test Inputs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:771-774 [Conf]
  4. Engin Uzuncaova, Sarfraz Khurshid
    Kato: A Program Slicing Tool for Declarative Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:767-770 [Conf]
  5. Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
    Sequential Circuits for Relational Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:13-22 [Conf]
  6. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
    Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:123-133 [Conf]
  7. Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
    Software assurance by bounded exhaustive testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:133-142 [Conf]
  8. Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
    Test input generation with java PathFinder. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:97-107 [Conf]
  9. Sarfraz Khurshid, Daniel Jackson
    Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:13-22 [Conf]
  10. Darko Marinov, Sarfraz Khurshid
    TestEra: A Novel Framework for Automated Testing of Java Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:22-0 [Conf]
  11. Sarfraz Khurshid, Darko Marinov, Daniel Jackson
    An analyzable annotation language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:231-245 [Conf]
  12. Sarfraz Khurshid, Yuk Lai Suen
    Generalizing symbolic execution to library classes. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:103-110 [Conf]
  13. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
    A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:272-286 [Conf]
  14. Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
    Optimizations for Compiling Declarative Models into Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:187-202 [Conf]
  15. Sarfraz Khurshid, Iván García, Yuk Lai Suen
    Repairing Structurally Complex Data. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:123-138 [Conf]
  16. Patrice Godefroid, Sarfraz Khurshid
    Exploring Very Large State Spaces Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:266-280 [Conf]
  17. Sarfraz Khurshid
    Testing an Intentional Naming Scheme Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:358-372 [Conf]
  18. Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
    Generalized Symbolic Execution for Model Checking and Testing. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:553-568 [Conf]
  19. Sarfraz Khurshid, Darko Marinov
    TestEra: Specification-Based Testing of Java Programs Using SAT. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:4, pp:403-434 [Journal]
  20. Sarfraz Khurshid, Darko Marinov
    Checking Java implementation of a naming architecture using Testera. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  21. Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov
    Analyzing the Uses of a Software Modeling Tool. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:2, pp:3-18 [Journal]
  22. Patrice Godefroid, Sarfraz Khurshid
    Exploring very large state spaces using genetic algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:117-127 [Journal]
  23. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
    Is the Java Type System Sound? [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:1, pp:3-24 [Journal]
  24. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
    Combining test case generation and runtime verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  25. David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
    Software Assurance by Bounded Exhaustive Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:4, pp:328-339 [Journal]
  26. Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid
    Efficiently Generating Structurally Complex Inputs with Thousands of Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:248-272 [Conf]
  27. Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang
    Verification of Multi-agent Negotiations Using the Alloy Analyzer. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:501-517 [Conf]
  28. Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley
    Starc: static analysis for efficient repair of complex data. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:387-404 [Conf]
  29. Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
    Parallel test generation and execution with Korat. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:135-144 [Conf]
  30. Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
    A specification-based approach to testing software product lines. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:525-528 [Conf]
  31. Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid
    Generating Representation Invariants of Structurally Complex Data. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:34-49 [Conf]

  32. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. [Citation Graph (, )][DBLP]


  33. Introducing Specification-Based Data Structure Repair Using Alloy. [Citation Graph (, )][DBLP]


  34. A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. [Citation Graph (, )][DBLP]


  35. Semantic Impact and Faults in Source Code Changes: An Empirical Study. [Citation Graph (, )][DBLP]


  36. Contract-Based Data Structure Repair Using Alloy. [Citation Graph (, )][DBLP]


  37. Constraint Prioritization for Efficient Analysis of Declarative Models. [Citation Graph (, )][DBLP]


  38. An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. [Citation Graph (, )][DBLP]


  39. Global Optimization of Compositional Systems. [Citation Graph (, )][DBLP]


  40. An Empirical Study of Structural Constraint Solving Techniques. [Citation Graph (, )][DBLP]


  41. Event Listener Analysis and Symbolic Execution for Testing GUI Applications. [Citation Graph (, )][DBLP]


  42. Deryaft: a tool for generating representation invariants of structurally complex data. [Citation Graph (, )][DBLP]


  43. State extensions for java pathfinder. [Citation Graph (, )][DBLP]


  44. Juzi: a tool for repairing complex data structures. [Citation Graph (, )][DBLP]


  45. Test generation through programming in UDITA. [Citation Graph (, )][DBLP]


  46. Test Generation for Graphical User Interfaces Based on Symbolic Execution. [Citation Graph (, )][DBLP]


  47. Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. [Citation Graph (, )][DBLP]


  48. An Automated Approach for Writing Alloy Specifications Using Instances. [Citation Graph (, )][DBLP]


  49. Testing Software Product Lines Using Incremental Test Generation. [Citation Graph (, )][DBLP]


  50. Efficient solving of structural constraints. [Citation Graph (, )][DBLP]


  51. Sequential circuits for program analysis. [Citation Graph (, )][DBLP]


  52. Assertion-based repair of complex data structures. [Citation Graph (, )][DBLP]


  53. Query-Aware Test Generation Using a Relational Constraint Solver. [Citation Graph (, )][DBLP]


  54. Optimizing a Structural Constraint Solver for Efficient Software Checking. [Citation Graph (, )][DBLP]


  55. A Case for Automated Debugging Using Data Structure Repair. [Citation Graph (, )][DBLP]


  56. Automated SQL query generation for systematic testing of database engines. [Citation Graph (, )][DBLP]


  57. Eliminating products to test in a software product line. [Citation Graph (, )][DBLP]


  58. A specification-based approach to testing software product lines. [Citation Graph (, )][DBLP]


  59. SCA: a semantic conflict analyzer for parallel changes. [Citation Graph (, )][DBLP]


  60. Optimizing Generation of Object Graphs in Java PathFinder. [Citation Graph (, )][DBLP]


  61. PKorat: Parallel Generation of Structurally Complex Test Inputs. [Citation Graph (, )][DBLP]


Search in 0.108secs, Finished in 0.110secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002