Effort Comparison for Model-Based Testing Scenarios | IEEE Conference Publication | IEEE Xplore