Distributed CFG-based symbolic execution for assembly programs.

Takumi Adachi Satoshi Yamane Kohei Sakurai

Published in: GCCE (2015)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
multi agent
test cases
evolutionary algorithm
distributed systems
context free grammars
generation algorithm