3368 search results - page 371 / 674 » The Complexity of Query Reliability |
156
click to vote
AMOST
2005
ACM
16 years 5 days ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
168
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
196
click to vote
CBSE
2004
Springer
16 years 14 hour ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
151
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
162
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...