An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. - Francesca Basanieri; Pierpaolo Iani; Gaetano Lombardi; Eda Marchetti (SNPD, 2003)