Keywords: Concolic testing example.svg en The execution path tree searched by concolic testing on the C source code example in en Concolic testing The x and y values in the leaf nodes indicate test cases and the edges are labelled with path conditions own Dcoetzee 2009-11-09 cc-zero Algorithms |