Model-Based Testing Using System vs. Test Models - What Is the Difference? | IEEE Conference Publication | IEEE Xplore