Projects

Constraint-based architecture evaluation*.pdf

Incremental Analyses of Software Modeling Tools*.pdf

White-box Testing Using an Incremental SAT Solver *.pdf

Lightweight Analysis of Distributed Systems *.pdf

Constraint-based Program Repair *.pdf

Automated Discovery of Structural Properties *.pdf

Specification-based Testing of Java Programs Using SAT *.pdf