 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
The example incorrectly concludes a failure on symbolic execution, and is not a good example to show the benefits of concolic execution over symbolic execution. — Preceding unsigned comment added by 86.25.182.206 (talk) 17:18, 9 January 2020 (UTC)
The link "CUTE and jCUTE" that goes to http://osl.cs.uiuc.edu/~ksen/cute/ appears to be broken...
144.32.48.87 (talk) 12:50, 22 August 2011 (UTC)
I would vote for "portmanteau" to be removed from this page. The phrase "a portmanteau of concrete and symbolic" would be better written as simply "concrete-symbolic". neil.steiner (talk) 17:18, 24 October 2014 (UTC)