| Project name: | SpecRep - Constraint-based Specification Repair |
| Project code: | EXPL/CCI-COM/1637/2021 |
| Partner(s)/Co-promoter(s)/Participating institution(s): | INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência |
| Start date: | 2022-01-01 |
| Completion date: | 2023-06-30 |