Balanced FSM Generation for Empirical Studies | IEEE Conference Publication | IEEE Xplore