565 search results - page 78 / 113 » Compositional dynamic test generation |
151
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
148
click to vote
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
130
click to vote
AAI
2006
15 years 2 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
120
click to vote
FLAIRS
2001
15 years 3 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
117
click to vote
CG
1999
Springer
15 years 1 months ago
1999
Springer
Projective texture-mapping is a powerful tool for image-based rendering. However, visibility information must be obtained in order to project correct textures onto the geometric s...