No Panic! Verification of Rust Programs by Symbolic Execution.

Marcus Lindner Jorge Aparicius Per Lindgren

Published in: INDIN (2018)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
software testing
neural network
real world
machine vision
database
search algorithm
multi objective
programming language