On the Relationship between Code Verifiability and Understandability.

Kobi Feldman Martin Kellogg Oscar Chaparro

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

source code
neural network
genetic algorithm
error correcting
malicious code
data mining
image segmentation
three dimensional
multiscale