1112 search results - page 84 / 223 » Executing Abstract Test Cases |
123
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
142
click to vote
WSC
2004
15 years 4 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
122
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
150
click to vote
ICTAC
2009
Springer
15 years 25 days ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
134
click to vote
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...