Khurshid, Sarfraz - Department of Electrical and Computer Engineering, University of Texas at Austin

• Generating Structurally Complex Tests from Declarative Constraints
• Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
• Semantic Impact and Faults in Source Code Changes: An Empirical Study Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry
• LDTA 2006 Preliminary Version Analyzing the Uses of a Software Modeling
• Verification of Multi-agent Negotiations Using the Alloy Rodion Podorozhny1
• Query-aware Test Generation Using a Relational Constraint Solver Shadi Abdul Khalek Bassem Elkarablieh Yai O. Laleye Sarfraz Khurshid
• Sequential Circuits for Program Analysis Fadi Zaraket
• Repairing Structurally Complex Data Sarfraz Khurshid and Ivan Garcia and Yuk Lai Suen
• Efficient Solving of Structural Constraints Bassem Elkarablieh
• Theoretical Computer Science 336 (2005) 209234 www.elsevier.com/locate/tcs
• A Case for GUI Testing Using Symbolic Execution Poster Abstract
• Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Danhua Shao, Sarfraz Khurshid and Dewayne E Perry
• Global Optimization of Compositional Systems Fadi Zaraket John Pape Adnan Aziz Magarida Jacome Sarfraz Khurshid
• A Case for Automated Debugging Using Data Structure Repair Muhammad Zubair Malik Khalid Ghori Bassem Elkarablieh Sarfraz Khurshid
• Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• Whispec: White-box Testing of Libraries Using Declarative Specifications
• An Automated Approach for Writing Alloy Specifications Using Instances
• Optimizations for Compiling Declarative Models into Boolean Formulas
• Software Assurance by Bounded Exhaustive Testing Kevin Sullivan1
• Efficiently Generating Structurally Complex Inputs with Thousands of Objects
• Integrating semantic interference detection into version management systems Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry
• A Case for White-box Testing Using Declarative Specifications Poster Abstract
• Test Generation for Graphical User Interfaces Based on Symbolic Execution
• STARC: Static Analysis for Efficient Repair of Complex Data Bassem Elkarablieh Sarfraz Khurshid
• State Extensions for Java PathFinder Tihomir Gvero
• A Specification-based Approach to Testing Software Product Lines (Poster Paper)
• PKorat: Parallel Generation of Structurally Complex Test Inputs Junaid Haroon Siddiqui
• Optimizing Generation of Object Graphs in Java PathFinder Milos Gligoric Tihomir Gvero
• Testing Software Product Lines Using Incremental Test Generation
• Deryaft: A Tool for Generating Representation Invariants of Structurally Complex Data
• Parallel Test Generation and Execution with Korat Sasa Misailovic
• Korat: A Tool for Generating Structurally Complex Test Inputs Aleksandar Milicevic Sasa Misailovic
• Generating Representation Invariants of Structurally Complex Data
• Generalizing Symbolic Execution to Library Classes Sarfraz Khurshid and Yuk Lai Suen
• Software Assurance by Bounded Exhaustive Testing
• An Evaluation of Exhaustive Testing for Data Structures Darko Marinov Alexandr Andoni Dumitru Daniliuc Sarfraz Khurshid Martin Rinard
• Juzi: A Tool for Repairing Complex Data Structures Bassem Elkarablieh
• Assertion-based Repair of Complex Data Structures Bassem Elkarablieh Ivan Garcia Yuk Lai Suen Sarfraz Khurshid
• An incremental approach to scope-bounded checking using a lightweight formal method
• Constraint Prioritization for Efficient Analysis of Declarative Models
• Kato: A Program Slicing Tool for Declarative Specifications Engin Uzuncaova and Sarfraz Khurshid
• Program Slicing for Declarative Models Engin Uzuncaova and Sarfraz Khurshid
• SCA: a Semantic Conflict Analyzer for Parallel Changes Danhua Shao Sarfraz Khurshid Dewayne E. Perry
• Pythia: Automatic Generation of Counterexamples for ACL2 using Alloy
• Test Input Generation with Java PathFinder Willem Visser