Interface Coverage Criteria Supporting ModelüBased Integration Testing | VDE Conference Publication | IEEE Xplore