Input decomposition by clusterization for symbolic execution.

Roman P. Bazylevych Andrii Franko

Published in: CSIT (2022)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
data sets
object oriented
neural network
artificial intelligence
high level
open source
software projects