Symbolic Testing for C and Rust.

Aaron Tomb Stuart Pernsteiner Mike Dodds

Published in: SecDev (2020)

Keyphrases

test cases
software testing
machine learning
search engine
high level
real time
multiscale
data structure
connectionist models
neural learning
symbolic reasoning