AMLETO: a multi-language environment for functional test generation | IEEE Conference Publication | IEEE Xplore