http://dbpedia.org/resource/File:Concolic_testing_example.svg
data from the linked data cloud