Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos Stefanos Chaliasos Zhendong Su

Published in: CoRR (2023)

Keyphrases

program synthesis
recursive programs
data driven
inductive logic programming
database
test cases
third party
data mining
pairwise
low level
knowledge representation
cellular automata
application programming interface