TypeT5: Seq2seq Type Inference using Static Analysis.

Jiayi Wei Greg Durrett Isil Dillig

Published in: ICLR (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
test suite
java card
real world
metadata
high level
open source
abstract interpretation