Documentation

UW Connect

Luchaup -- ACM SIGSOFT Distinguished Paper Award

Daniel Luchaup, with coauthor 

Patrice Godefroid of MSR, won an ACM SIGSOFT Distinguished Paper Award for  "Automatic Partial Loop Summarization in Dynamic Test Generation" at ISSTA 2011.