Microsoft has publicly released a software testing tool that relies on model-based techniques, a test approach that is relatively new in software development. The tool, called Spec Explorer 2010, is ...