74:
53:
22:
190:
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".
149:
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.
218:
132:
122:
98:
213:
156:
177:
223:
81:
58:
33:
160:
181:
195:
94:
39:
152:
21:
97:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
191:
207:
73:
52:
90:
199:
185:
164:
86:
171:
15:
85:, a collaborative effort to improve the coverage of
8:
150:
47:
170:The link "CUTE and jCUTE" that goes to
49:
19:
7:
79:This article is within the scope of
38:It is of interest to the following
172:http://osl.cs.uiuc.edu/~ksen/cute/
14:
219:Low-importance Computing articles
72:
51:
20:
127:This article has been rated as
107:Knowledge:WikiProject Computing
110:Template:WikiProject Computing
1:
101:and see a list of open tasks.
200:17:18, 24 October 2014 (UTC)
186:12:50, 22 August 2011 (UTC)
165:17:18, 9 January 2020 (UTC)
240:
214:C-Class Computing articles
133:project's importance scale
126:
67:
46:
174:appears to be broken...
224:All Computing articles
95:information technology
28:This article is rated
82:WikiProject Computing
113:Computing articles
34:content assessment
167:
155:comment added by
147:
146:
143:
142:
139:
138:
231:
115:
114:
111:
108:
105:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
239:
238:
234:
233:
232:
230:
229:
228:
204:
203:
112:
109:
106:
103:
102:
61:
32:on Knowledge's
29:
12:
11:
5:
237:
235:
227:
226:
221:
216:
206:
205:
145:
144:
141:
140:
137:
136:
129:Low-importance
125:
119:
118:
116:
99:the discussion
77:
65:
64:
62:Low‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
236:
225:
222:
220:
217:
215:
212:
211:
209:
202:
201:
197:
193:
188:
187:
183:
179:
175:
173:
168:
166:
162:
158:
157:86.25.182.206
154:
134:
130:
124:
121:
120:
117:
100:
96:
92:
88:
84:
83:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
192:neil.steiner
189:
178:144.32.48.87
176:
169:
151:— Preceding
148:
128:
80:
40:WikiProjects
208:Categories
104:Computing
91:computing
87:computers
59:Computing
153:unsigned
131:on the
30:C-class
93:, and
36:scale.
196:talk
182:talk
161:talk
123:Low
210::
198:)
184:)
163:)
89:,
194:(
180:(
159:(
135:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.