Ana Turlea, Florentin Ipate, Raluca Lefticaru. A Hybrid Test Generation Approach Based on Extended Finite State Machines. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. pages 173-180, IEEE Computer Society, 2016. [doi]
Abstract is missing.