Concolic Testing Heap-Manipulating Programs.

Long H. Pham Quang Loc Le Quoc-Sang Phan Jun Sun

Published in: CoRR (2019)

Keyphrases

data structure
symbolic execution
control structures
learning algorithm
case study
computer programs
intermediate level
real time
information retrieval
computer vision
evolutionary algorithm
software development
test cases
suffix tree
test generation
concurrent programs