Configuration-oriented symbolic test sequence construction method for EFSM | IEEE Conference Publication | IEEE Xplore