3544 search results - page 349 / 709 » Software Testing |
156
click to vote
QSIC
2007
IEEE
16 years 29 days ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
194
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
185
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
135
Voted
C5
2006
IEEE
15 years 10 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
171
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...