News

• D. Sinnig wins the 2009-2010 ENCS Doctoral Prize. Congratulations! (June 2010).
• P. Chalin resumes as UGP Director, Software Engineering (June 2010).
• Stuart Thiel successfully defended his Master's Thesis on Feb. 10, 2010.

Recent Publications

• S. Barrett, G. Butler, and P. Chalin, “Mirador: a Synthesis of Model Matching Strategies”. Proceedings of the International Workshop on Model Comparison in Practice (IWMCP), Malaga, Spain, July, 2010.
• P. R. James and P. Chalin, “Faster and More Complete Extended Static Checking for the Java Modeling Language”, J. Automated Reasoning, 44(1-2):145-174, 2010. (SpringerLink)
• D. Sinnig, F. Khendek, and P. Chalin, “A Formal Approach to Generating Integrated Functional and User Interface Test Cases”. Proceedings of the International Conference on Software Testing, Verification, and Validation, Paris, April, 2010 (to appear).