ITC Conference Guide
Plenary Keynote
Automated Software Testing for the 21st Century
Room 6E
Patrice Godefroid, Principal Researcher, Microsoft Research
During the last decade, research on automating software testing using program analysis has experienced quite a resurgence. This recent progress was enabled by advances in dynamic test generation, automated constraint solving, and modern computers' increasing computational power. This talk will present an overview of recent advances on automatic test generation, and discuss applications of these techniques in the software industry.
About the speaker Patrice Godefroid is a Principal Researcher at Microsoft Research. He received a B.S. degree in Electrical Engineering (Computer Science elective) and a Ph.D. degree in Computer Science from the University of Liege, Belgium, in 1989 and 1994 respectively. From 1994 to 2006, he worked at Bell Laboratories (part of Lucent Technologies), where he was promoted to "distinguished member of technical staff" in 2001. Recently, he co-developed SAGE, the first whitebox fuzzer for security testing, which was credited to have found roughly one third of all the security vulnerabilities discovered by file fuzzing during the development of Microsoft's Windows 7 operating system.