pbSE: Phase-Based Symbolic Execution.

Qixue Xiao Yu Chen Chengang Wu Kang Li Junjie Mao Shize Guo Yuanchun Shi

Published in: DSN (2017)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
open source
test cases