Exploring the Verifiability of Code Generated by GitHub Copilot.

Dakota Wong Austin Kothig Patrick Lam

Published in: CoRR (2022)

Keyphrases

randomly selected
automatically generated
data sets
information retrieval
computer vision
image processing
expert systems
source code