SMT error analysis and mapping to syntactic, semantic and structural fixes | Publicación