Hesam Samimi: From Validation to Automated Repair & Beyond with Constraint Solving. University of California, Los Angeles, USA 2013