68 search results - page 8 / 14 » Generating Trace-Sets for Model-based Testing |
PAMI
2006
13 years 7 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
SE
2007
13 years 8 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...