Grammar-agnostic symbolic execution by token symbolization.

Weiyu Pan Zhenbang Chen Guofeng Zhang Yunlai Luo Yufeng Zhang Ji Wang

Published in: ISSTA (2021)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
source code
specification language
data flow
context free grammars
test cases
genetic algorithm
neural network
real world
general purpose
software testing