Login / Signup
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.
Haoxin Tu
Lingxiao Jiang
Xuhua Ding
He Jiang
Published in:
ESEC/SIGSOFT FSE (2022)
Keyphrases
</>
symbolic execution
test generation
test data generation
type checking
neural network
static analysis
relational databases
source code
genetic algorithm
database systems
objective function
multi agent systems
open source
orders of magnitude
specification language