IBT (Informatica Bancaria Trentina; industrial partner): The goal of the IBT project is to support the migration of the legacy system Gesbank, property of IBT, toward a more advanced and modern software architecture. In particular, the project consists of the following main tasks: (1) data migration from C-ISAM to a relational DB; (2) language migration, from BAL to Java; (3) migration of the user interface from characters to graphical widgets. The contribution of the SE unit to this project is focused on reverse engineering of information supporting migration, on automated code transformation, and on regression testing. In code transformation, problems such as GOTO elimination, which is required to produce readable and maintainable code, and identification of OO data structures from the byte sequences currently manipulated by the software, represent major scientific and technological challenges.