2010-06-07 MBT Tools MBT = Model Based Testing Qtronic http://www.conformiq.com/qtronic.php MS SpecExplorer http://research.microsoft.com/en-us/projects/specexplorer/ http://msdn.microsoft.com/en-us/devlabs/ee692301.aspx http://blogs.msdn.com/b/specexplorer/