Talk:Concolic testing

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)