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

• 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