Model-Based Testing

I share the sentiment of Moliere’s Monsieur Jourdain; in the second edition, Chapter 12, I wrote: We also make a major shift in our thinking. We are more concerned with how to represent the item being tested, because the representation may limit our ability to identify test cases. Take a look at the papers being presented at the leading conferences (professional or academic) on software testing — you will find nearly as many presentations on specification models and techniques as on testing techniques.