Comparing Model-Based Testing with Traditional Testing Strategies: An Empirical Study | IEEE Conference Publication | IEEE Xplore