3281 search results - page 73 / 657 » An Approach to use Executable Models for Testing |
WAC
2004
Springer
14 years 2 months ago
2004
Springer
The goal of this research is to create robust execution circuits for communication software which can distribute over a network and which continues to provide its service despite p...
ENTCS
2006
13 years 9 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Videos usually consist of activities involving interactions between multiple actors, sometimes referred to as complex activities. Recognition of such activities requires modeling ...
AGENTS
1998
Springer
14 years 1 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...