C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria.
Yong Zhou
Li Zhang
Haoyu Li
Published in:
CSSE (2019)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
neural network
test suite
programming language
reverse engineering
software testing
simulated annealing algorithm