Verifying Verified Code.

Siddharth Priya Xiang Zhou Yusen Su Yakir Vizel Yuyan Bao Arie Gurfinkel

Published in: ATVA (2021)

Keyphrases

website
source code
genetic algorithm
artificial intelligence
metadata
database systems
learning environment
video sequences
hidden markov models
end users
medical images
malicious code