6014 search results - page 119 / 1203 » Structural Testing with Use Cases |
193
Voted
PTS
2007
15 years 3 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
127
click to vote
TEC
2010
14 years 9 months ago
2010
A new algorithm for solving MAX-SAT problems is introduced which clusters good solutions, and restarts the search from the closest feasible solution to the centroid of each cluster...
141
click to vote
MVA
2007
15 years 3 months ago
2007
Localization and segmentation of Optic Disk (OD) is an important prerequisite for automatic detection of Diabetic Retinopathy (DR) from digital retinal fundus images. Considerable...
148
click to vote
ICST
2009
IEEE
15 years 6 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
100
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...