Alessandro Fin, Franco Fummi, Graziano Pravadelli: AMLETO: a multi-language environment for functional test generation. ITC 2001: 821-829