Share Devnology Podcast 005 - Peli de Halleux

Copy link

February 19, 2010

Devnology Podcast 005 - Peli de Halleux

57 minutes

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

...more