ACM Distinguished Speakers Program:  talks by and with technology leaders and innovators

Transferring an Automated Test Generation Tool to Practice

Speakers: Tao Xie
Topic(s): Security & Information Protection,Software Engineering

 


Abstract
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 (http://research.microsoft.com/projects/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: 06-10-2014
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.
Featured Speaker


Keith Cheverst
Lancaster University

Get Involved!
Help improve the DSP by nominating a speaker or providing feedback to ACM.