Sarfraz Khurshid

Latest

• Solver-Based Sketching of Alloy Models Using Test Valuations
• Systematic Generation of Non-equivalent Expressions for Relational Algebra
• A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking
• Introducing Specification-Based Data Structure Repair Using Alloy