Gabriela Moreira

Holds a master's degree in Applied Computing by Santa Catarina State University (2022) and a bachelor's degree in Computer Science by Santa Catarina State University (2019).

Informações coletadas do Lattes em 05/05/2024

Acadêmico

Formação acadêmica

Mestrado em Computação Aplicada

2020 - 2022

Universidade do Estado de Santa Catarina
Título: Test Generation From TLA+ Specifications, Ano de Obtenção: 2022
Janine Kniess.Coorientador: Cristiano Damiani Vasconcellos. Palavras-chave: Test Generation; Formal Specification; Temporal Logic; Model Checking; TLA+; Elixir.

Graduação em Ciência da Computação

2015 - 2019

Universidade do Estado de Santa Catarina
Título: Tradução automática de especificação formal modelada em TLA+ para linguagem de programação
Orientador: Cristiano Damiani Vasconcellos

Ensino Médio (2º grau)

2012 - 2014

EXATHUM COC

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Pouco, Lê Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Produções bibliográficas

MOREIRA, GABRIELA ; VASCONCELLOS, CRISTIANO ; KNIESS, JANINE . Fully-Tested code generation from TLA+ specifications. In: SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, 2022, Uberlandia Brazil. Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing, 2022. p. 19.
MOREIRA, GABRIELA ; RIBEIRO, RODRIGO . Type inference for GADTs, outsidein and anti-unification. In: the XXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18, 2018. p. 51.