Kaiyuan Wang

Latest

• Solver-Based Sketching of Alloy Models Using Test Valuations
• Systematic Generation of Non-equivalent Expressions for Relational Algebra