program selection system

We propose Exploratory Test Driven Development (ETDD): a methodology where the user writes Parameterized Unit Tests and lets an automated tool generate parameter values to cover all reachable statements. This exploratory code analysis makes ETDD different from traditional Test Driven Development. As a result the developer writes fewer, more expressive tests by hand and lets the automated tool systematically test all corner-cases. In this talk, we present ETDD for .Net using Pex, an Automated Exploratory Testing tool from Microsoft Research.