Automatic Generation of Interface Test Data based on Protocol Modeling and Constraint Coverage | IEEE Conference Publication | IEEE Xplore