A ferramenta SYMBOLRT foi premiada como melhor ferramenta apresentada na Sessão de Ferramentas do III Congresso Brasileiro de Software: Teoria e Prática: CBSoft 2012. O artigo com título "SYMBOLRT: A Tool for Symbolic Model-Based Test Case Generation for Real-Time Systems", tem autoria de Wilkerson Andrade, Diego Almeida, Jeanderson Cândido e Patrícia Machado, pesquisadores do Laboratório de Práticas de Software (SPLab/UFCG).