For this edition of the podcast we interview Peli de Halleux from Microsoft Research. We talk about a number of projects that Peli is involved in, with a focus on software testing and verification. We talk about Pex - an automated white box unit testing framework, Code Contracts - the Design by Contract library for .Net en Moles - a detour framework included with Pex. Follow Peli through his blog on http://blog.dotnetwiki.org or on twitter : @pelikhan

Links for this podcast

• Microsoft Devlabs home page
  
• Microsoft Research home page
  
• Peli's group RISE - Research in Software Engineering
  
• Peli's videos on channel 9
  
• Pex - Automated white box testing for .Net
  
• Code Contracts - Design by contract Library for .Net
  
• Spec # - Design by contract implemented as extension of C# (open source)
  
• Reactive extensions - a library for asynchronous event-based programming
  
• The Z3 theorem prover (used in Pex and many other projects)
  

This podcast is in English - Deze podcast is in het Engels

Download

TrackBack URI for this entry

Comments (0)

Subscribe to this comment's feed