On introducing automatic test case generation in practice: A success story and lessons learned. - Brunetto, Matteo; Denaro, Giovanni; Mariani, Leonardo; Pezzè, Mauro (Journal of Systems & Software, 2021)