An Interoperability Test Case Generation Method for State Transition and Parameter Combination Coverage | IEEE Conference Publication | IEEE Xplore