In deze aflevering spreken we met Peli de Halleux, werkzaam bij Microsoft Research. We spraken met hem over een aantal projecten waar hij aan werkt, vooral op het gebied van software testen en verificatie. Aan bod komen onder andere Pex - een tool voor automated white box unit testen, Code Contracts - de Design by Contract library voor .Net en Moles - een detour framework dat met Pex meegeleverd wordt. Volg Peli via zijn blog op http://blog.dotnetwiki.org of via twitter : @pelikhan
Links voor deze podcast
Microsoft Devlabs home pageMicrosoft Research home pagePeli's group RISE - Research in Software EngineeringPeli's videos op channel 9Pex - Automated white box testing voor .NetCode Contracts - Design by contract Library voor .NetSpec # - Design by contract geimplementeerd als extensie van C# (open source)Reactive extensions - een library om asynchroon en event-gebaseerd te programmerenThe Z3 theorem prover (gebruikt in Pex and vele andere projecten)This podcast is in English - Deze podcast is in het Engels