87 search results - page 5 / 18 » A Symbolic Framework for Model-Based Testing |
176
click to vote
IFIP12
2004
15 years 7 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
149
click to vote
ICFEM
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
175
click to vote
ICCV
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, a novel object class detection method based on 3D object modeling is presented. Instead of using a complicated mechanism for relating multiple 2D training views, th...
186
click to vote
ICBA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
133
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....