5855 search results - page 162 / 1171 » Test generation and minimization with |
157
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
167
click to vote
DICTA
2003
15 years 7 months ago
2003
Abstract. Curve detection is viewed as a process of hypothesis generation and hypothesis testing. Of the two, hypothesis generation has received much attention and many sophisticat...
156
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
191
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we introduce a novel edge-based, implicit approach for single object segmentation in 3D images. From a couple of curves, traced by the user on the object to be segme...
183
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...