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
Devnology meetings are aimed to bring together passionate developers to exchange ideas and experience, to discuss and network - geek to geek.
We focus on concepts of software development. For new developments we will dig into the underlying principles and concepts and try to place this in a broad perspective of existing platforms and solutions. Read more...