Mengxiang Lin, Xiaomei Hou, Rui Liu, Linyan Ge. Enhancing constraint based test generation by local search. In Vitaliy Mezhuyev, Luigi Benedicenti, editors, Proceedings of the 6th International Conference on Software and Computer Applications, ICSCA '17, Bangkok, Thailand, February 26-28, 2017. pages 154-158, ACM, 2017. [doi]
Abstract is missing.