Studying the influence of standard compiler optimizations on symbolic execution.

Shiyu Dong Oswaldo Olivo Lingming Zhang Sarfraz Khurshid

Published in: ISSRE (2015)

Keyphrases

symbolic execution
static analysis
software systems
databases
artificial intelligence
case study
search algorithm
evolutionary algorithm
general purpose
programming language
data flow
specification language
test generation