Evaluating the FITTEST automated testing tools: An industrial case studyCu D. NguyenBilha Mendelsonet al.2013ESEM 2013