API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos Stefanos Chaliasos Zhendong Su

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

program synthesis
dynamic analysis
recursive programs
high level
test cases
inductive logic programming
text mining
general purpose
source code
application programming interface
reinforcement learning
object oriented
data driven
text classification
text entry