Using Symbolic Execution to Analyze Linux KBuild Makefiles.

ThanhVu Nguyen KimHao Nguyen

Published in: ICSME (2020)

Keyphrases

symbolic execution
operating system
test data generation
open source
static analysis
specification language
source code
test generation
genetic algorithm
high level
data model
data flow
neural network
genetic programming