A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing Yanjun Sun, G´erard Memmi and Sylvie Vignes CNRS LTCI, T´el´ecom ParisTech, Universit´e Paris-Saclay yanjun.sun@telecom-paristech.fr Feburary 26, 2016 Y.Sun, G. Memmi and S. Vignes (ENST) CSD&M Asia 2016 Feburary 26, 2016 1 / 18