Devnology Podcast 005 - Peli de Halleux

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 page

Microsoft Research home page

Peli's group RISE - Research in Software Engineering

Peli's videos op channel 9

Pex - Automated white box testing voor .Net

Code Contracts - Design by contract Library voor .Net

Spec # - Design by contract geimplementeerd als extensie van
C# (open source)

Reactive extensions - een library om asynchroon en
event-gebaseerd te programmeren

The Z3 theorem prover (gebruikt in Pex and vele andere
projecten)



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