Towards Attribute Grammar Mining by Symbolic Execution.

Michael Moser Josef Pichler Andreas Pointner

Published in: SANER (2022)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
test cases
neural network
case study
high level
search algorithm