565 search results - page 32 / 113 » Compositional dynamic test generation |
121
click to vote
ASE
2006
15 years 2 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
141
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
Efficient and accurate fitting of Active Appearance Models (AAM) is a key requirement for many applications. The most efficient fitting algorithm today is Inverse Compositiona...
122
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We describe a new method for unsupervised structure learning of a hierarchical compositional model (HCM) for deformable objects. The learning is unsupervised in the sense...
141
click to vote
STVR
2010
14 years 8 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...
131
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...