However, Colgate suggested in an earlier interview with CNN.com that a non-academic team could perform the review, perhaps a software testing and validation firm.
This kind of myopic thinking is one of the biggest challenges for IT companies that reap a large share of their revenues from services application development and maintenance, infrastructure management and validationsoftware.
What sets model-based testing apart from other test automation approaches is that it enables to automate all phases of software testing: test creation, test execution and validation of the test-outcome.