Synergizing Specification Miners through Model Fissions and Fusions (T) | IEEE Conference Publication | IEEE Xplore