Transferring an Automated Test Generation Tool to Practice

Speaker:  Tao Xie – Raleigh, IL, United States
Topic(s):  Security and Privacy


Producing industry impacts has been an important, yet challenging task for the research community. Although there are a few cases on reporting "what to do" (reflecting good things to keep doing and replicate elsewhere), there are still strong needs of reporting successful technology-transfer cases and stories behind them for the research community to learn from and replicate. This talk presents the successful technology-transfer case of Pex ( and its relatives (tools derived from or associated with Pex) from Microsoft Research and lessons learned from more than eight years of research efforts by the Pex team of Microsoft Research in collaboration with academia. 

About this Lecture

Number of Slides:  50
Duration:  60 minutes
Languages Available:  English
Last Updated: 

Request this Lecture

To request this particular lecture, please complete this online form.

Request a Tour

To request a tour with this speaker, please complete this online form.

All requests will be sent to ACM headquarters for review.