Integration of Root Cause Analysis into a Model-Based Testing Process of a Mobile Switching Server | IEEE Conference Publication | IEEE Xplore