Model-driven development addresses two significant limitations of Agile practices: weak testing and the testing backblob. This presentation provides an overview of the issues and a demo of Spec Explorer, a model-based testing too, showing how to overcome these limitations.