Welcome to the Software Verification Validation And Testing Group

The Software Verification Validation and Testing group conducts research and builds tools that increase reliability of software.  Our current projects focus on automated test 
generation, constraint-based analyses for software architecture, repair of structurally complex data and programs, specification languages, and heuristics for state-space 
exploration. Much of our recent work has revolved around representation and solution of constraints that define properties of structurally complex data, which pervade 
modern software. Our philosophy is to develop methodologies that are (1) lightweight, (2) fully automatic, and (3) scalable, and we evaluate them in the context of real 
software systems. 

Our work is funded in part by an ITR-Science of Design grant (#0438967) from the National Science Foundation.