Improving correctness of finite-state machine synthesis from multiple partial input/output sequences | IEEE Conference Publication | IEEE Xplore