Talk:Concolic testing: Difference between revisions
Content deleted Content added
Commenting on incorrect content Tags: Mobile edit Mobile web edit |
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computing}}. Tag: |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{WikiProject banner shell|class=C| |
|||
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. |
|||
{{WikiProject Computing |importance=Low}} |
|||
}} |
|||
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. <!-- Template:Unsigned IP --><small class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/86.25.182.206|86.25.182.206]] ([[User talk:86.25.182.206#top|talk]]) 17:18, 9 January 2020 (UTC)</small> <!--Autosigned by SineBot--> |
|||
The link "CUTE and jCUTE" that goes to http://osl.cs.uiuc.edu/~ksen/cute/ appears to be broken... |
The link "CUTE and jCUTE" that goes to http://osl.cs.uiuc.edu/~ksen/cute/ appears to be broken... |
||
Latest revision as of 22:30, 30 January 2024
 | 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)