TypeT5: Seq2seq Type Inference using Static Analysis.

Jiayi Wei Greg Durrett Isil Dillig

Published in: CoRR (2023)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
malicious code
open source
test suite
test generation
domain knowledge
symbolic execution
abstract interpretation
database systems
bayesian networks
programming language
pattern matching
belief networks