ESQuaReD Projects

System and Program Analysis

• Bandera: Tool Set for Model Checking Concurrent Java Software∞
• Bogor: Extensible Software Model Checking Framework∞
• Cadena: Integrated Environment for Building Component-based Systems∞
• Carving Unit Test Cases Automatically
• Experimental Program Analysis: A New Paradigm for Program Analysis
• Prioritizing Test Cases for Regression Testing
• Σοφία (Sofya): A System for Monitoring and Analysis of Java Software
• ASTro: A Smarter Syntactic Differencing Tool
• A Slice-based Decision Procedure for Type-based Partial Orders (TPO_DP)

End-User Software Engineering

• Restructuring Mashups (and other EUSES projects)
• Characterizing Web Application Interfaces
• Robofox: Web Activities Automation, Integration, and Customization
• Helping End Users Create Dependable Software

On-Line Repositories

• EUSES Spreadsheet Corpus
• Software-artifact Infrastructure Repository for Experimentation∞
• Specification Patterns: Online Repository on Property Specification for Finite-State Verification∞

Education

• Bug Hunt: A Web-based Tutorial to Teach Software Testing Principles∞