Concolic Testing Heap-Manipulating Programs.

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

Published in: FM (2019)

Keyphrases

data structure
symbolic execution
data mining
set of test cases
real time
decision making
multiscale
video sequences
test generation
control structures
prolog programs