615 search results - page 73 / 123 » Automated Test Case Generation from Dynamic Models |
FM
2008
Springer
13 years 9 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
ICCV
2009
IEEE
15 years 24 days ago
2009
IEEE
Current state-of-the-art image-based scene reconstruction
techniques are capable of generating high-fidelity 3D
models when used under controlled capture conditions.
However, th...
ICAC
2007
IEEE
14 years 2 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
For embodied agents to engage in realistic multiparty conversation, they must stand in appropriate places with respect to other agents and the environment. When these factors chan...