The FIXCHECK tool offers a robust and effective solution in the field of software maintenance, reveals bugs and prevents the introduction of inadequate corrections in the software.
Manuel Carro and María Alcaraz welcomed and accompanied the delegation on its tour around the Institute. Researchers Aleks Nanevski, Juan Caballero, Alessandra Gorla and Manuel Hermenegildo explained what IMDEA Software is working on.
