PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation.

Junxian Zhang Zhoujun Li Xianchen Zheng

Published in: SETTA (2015)

Keyphrases

symbolic execution
byte code
artificial intelligence
test data generation
web services
evolutionary algorithm
simulated annealing
source code
data management
test generation