Enhancing constraint based test generation by local search. - Mengxiang Lin; Xiaomei Hou; Rui Liu 007; Linyan Ge (ICSCA, 2017)