Cientistas da Universidade de Coimbra criam ferramentas para ajudar programadores a prevenirem bugs