Title: Directed Random Testing

Speaker: Wolfram Schulte, Microsoft Research, Redmond, USA

Slides: [PDF]

About the speaker

Since 2006 Wolfram Schulte has been a research area manager for the Foundations of Software Engineering (FSE) group, the Programming Language and Methods (PLM) group, and the Software Design and Improvment (SDI) group at Microsoft Research in Redmond, Washington, USA. The research of these groups tries to improve software development productivity through rigorous software design, design verification, new programming language features in conjunction with program verification, advanced test generation, and new programming language implementations for sequential, parallel and embedded hardware. In principle, Wolfram's research concerns the practical application of formal techniques. He has published a variety of papers in the areas of language design, verification, testing, program derivation and compilation. Before joining Microsoft Research in 1999, Wolfram worked at the University of Ulm (1993-1999), at sd&m, a German software company (1992-1993), and at the Technical University Berlin (1987-1992).