129:
73:
49:
22:
173:). I intend including the following general content - let me know if you think this should be improved upon. I am aware that this looks like rather a lot of material for a single page, but it should be possible to keep it reasonably short. Perhaps the
227:
If this approach is as useful and distinctive as the article makes it sound, there should be some implementations (e.g. tool support) and it should have been commercialised. However, I couldn't see any mention of implementations in the
391:
401:
319:
315:
301:
386:
113:
119:
396:
381:
89:
267:
406:
138:
59:
411:
80:
54:
362:
29:
161:
I am currently creating a series of pages describing applications of theoretical computer science, starting with
318:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
353:
259:
213:
337:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
325:
35:
258:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit
292:
88:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
268:
http://web.archive.org/web/20071105145328/http://www.mcs.le.ac.uk:80/people/gtl1/PhDabstract.html
209:
322:
before doing mass systematic removals. This message is updated dynamically through the template
338:
251:
233:
170:
345:
304:, "External links modified" talk page sections are no longer generated or monitored by
271:
344:
If you found an error with any archives or the URLs themselves, you can fix them with
375:
128:
229:
311:
72:
48:
310:. No special action is required regarding these talk page notices, other than
162:
367:
237:
217:
85:
205:
existing applications to hardware testing (and compararive stats)
202:
existing applications to software testing (and comparative stats)
15:
193:
use of design-for-test to overcome undecidability constraints
277:
When you have finished reviewing my changes, please set the
127:
262:
for additional information. I made the following changes:
190:
adaptation of FSM-testing to give an SXM-testing strategy
181:
very simple explanation of SXM, with link to main article
255:
272:
http://www.mcs.le.ac.uk/people/gtl1/PhDabstract.html
84:, a collaborative effort to improve the coverage of
314:using the archive tool instructions below. Editors
28:This article has not yet been rated on Knowledge's
392:Unassessed software articles of Unknown-importance
187:existence of FSM-based test strategies (esp. Chow)
118:This article has not yet received a rating on the
300:This message was posted before February 2018.
8:
196:formal description of the required test set
250:I have just modified one external link on
177:should be shunted into separate articles?
43:
21:
19:
45:
402:Unknown-importance Computing articles
289:to let others know (documentation at
7:
387:Unknown-importance software articles
78:This article is within the scope of
34:It is of interest to the following
14:
254:. Please take a moment to review
71:
47:
20:
98:Knowledge:WikiProject Software
1:
397:Unassessed Computing articles
218:00:19, 29 December 2007 (UTC)
136:This article is supported by
101:Template:WikiProject Software
92:and see a list of open tasks.
382:Unassessed software articles
428:
331:(last update: 5 June 2024)
247:Hello fellow Wikipedians,
165:. This page discusses the
120:project's importance scale
368:13:19, 21 July 2016 (UTC)
184:similarity of SXM and FSM
135:
117:
66:
42:
238:08:19, 4 July 2008 (UTC)
167:Stream X-Machine Testing
243:External links modified
407:All Computing articles
132:
412:All Software articles
175:existing applications
139:WikiProject Computing
131:
312:regular verification
81:WikiProject Software
302:After February 2018
281:parameter below to
356:InternetArchiveBot
307:InternetArchiveBot
133:
30:content assessment
332:
252:X-Machine Testing
169:methodology (see
154:
153:
150:
149:
146:
145:
104:software articles
419:
366:
357:
330:
329:
308:
296:
223:Implementations?
171:Stream X-Machine
157:Proposed Content
106:
105:
102:
99:
96:
75:
68:
67:
62:
51:
44:
25:
24:
23:
16:
427:
426:
422:
421:
420:
418:
417:
416:
372:
371:
360:
355:
323:
316:have permission
306:
290:
260:this simple FaQ
245:
225:
159:
103:
100:
97:
94:
93:
57:
12:
11:
5:
425:
423:
415:
414:
409:
404:
399:
394:
389:
384:
374:
373:
350:
349:
342:
275:
274:
266:Added archive
244:
241:
224:
221:
207:
206:
203:
200:
199:worked example
197:
194:
191:
188:
185:
182:
158:
155:
152:
151:
148:
147:
144:
143:
134:
124:
123:
116:
110:
109:
107:
90:the discussion
76:
64:
63:
52:
40:
39:
33:
26:
13:
10:
9:
6:
4:
3:
2:
424:
413:
410:
408:
405:
403:
400:
398:
395:
393:
390:
388:
385:
383:
380:
379:
377:
370:
369:
364:
359:
358:
347:
343:
340:
336:
335:
334:
327:
321:
317:
313:
309:
303:
298:
294:
288:
284:
280:
273:
269:
265:
264:
263:
261:
257:
253:
248:
242:
240:
239:
235:
231:
222:
220:
219:
215:
211:
210:Mike.stannett
204:
201:
198:
195:
192:
189:
186:
183:
180:
179:
178:
176:
172:
168:
164:
156:
141:
140:
130:
126:
125:
121:
115:
112:
111:
108:
91:
87:
83:
82:
77:
74:
70:
69:
65:
61:
56:
53:
50:
46:
41:
37:
31:
27:
18:
17:
354:
351:
326:source check
305:
299:
286:
282:
278:
276:
249:
246:
226:
208:
174:
166:
160:
137:
79:
36:WikiProjects
293:Sourcecheck
376:Categories
363:Report bug
163:X-machines
346:this tool
339:this tool
228:article.—
60:Computing
352:Cheers.—
95:Software
86:software
55:Software
279:checked
256:my edit
230:greenrd
287:failed
32:scale.
283:true
234:talk
214:talk
320:RfC
297:).
285:or
270:to
114:???
378::
333:.
328:}}
324:{{
295:}}
291:{{
236:)
216:)
58::
365:)
361:(
348:.
341:.
232:(
212:(
142:.
122:.
38::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.