AMLETO: A Multi-language Environment for Functional Test Generation