Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM | IEEE Conference Publication | IEEE Xplore