A Hybrid Test Generation Approach Based on Extended Finite State Machines | IEEE Conference Publication | IEEE Xplore