Model-based testing (MBT) Posted by Richa Sachdeva on December 15, 2014 MBT Model-based testing Theorem proving +
