Automatic Test Program Generation: a Case Study