Tingting Yu

Ferramenta automatizada verifica contratos inteligentes pra garantir que tão em conformidade com ERC, melhorando a segurança.

Este estudo mostra como modelos de linguagem podem encontrar bugs ocultos em apps móveis.

Otimização da busca por bugs com técnicas e tecnologias avançadas.