Automatic Synthesis of Test Cases to Identify Software Redundancy. - Matteo Brunetto (CoRR, 2014)

On introducing automatic test case generation in practice: A success story and lessons learned. - Matteo Brunetto; Giovanni Denaro; Leonardo Mariani; Mauro Pezzè (J. Syst. Softw., 2021)