Model-Based Testing with STIMULUS

Testing represents more than 50% of embedded software development effort, and a significant part of this time is spent manually developing and maintaining test cases.

How can you test a software against its requirements in a fully automated way?

Check this 3mn video: