This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Concolic testing example.svg en The execution path tree searched by concolic testing on the source code example in en Concolic testing The and values in the leaf nodes indicate test cases and the edges are labelled with path conditions own Dcoetzee cczero Algorithms
Page 2023 Free-images.com. All images are Public Domain