This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Computing Low‑importance This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles Low This article has been rated as Low-importance on the project's importance scale.

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) reply

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) reply

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) reply