Search-based data-flow test generation. - Mattia Vivanti; Andre Mis; Alessandra Gorla; Gordon Fraser 001 (ISSRE, 2013)