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