Parallel SMT Solving and Concurrent Symbolic Execution.

Emil Rakadjiev Taku Shimosawa Hiroshi Mine Satoshi Oshima

Published in: TrustCom/BigDataSE/ISPA (3) (2015)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
specification language
data sets
evolutionary algorithm
metadata