Sciweavers

1253 search results - page 21 / 251
» Exploration Testing
Sort
View
ICRA
2009
IEEE
156views Robotics» more  ICRA 2009»
14 years 9 months ago
An explorative study of visual servo control with insect-inspired Reichardt-model
In this paper, an insect-inspired motion detector (Reichardt-model) is applied to visual servo control to ensure the stability of the system with high gain and time delay in its fe...
Haiyan Wu, Tianguang Zhang, Alexander Borst, Kolja...
ECBS
2011
IEEE
197views Hardware» more  ECBS 2011»
13 years 11 months ago
Finding Interaction Faults Adaptively Using Distance-Based Strategies
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
Renée C. Bryce, Charles J. Colbourn, D. Ric...
ICRA
2006
IEEE
90views Robotics» more  ICRA 2006»
15 years 5 months ago
A Fast and Adaptive Test of Static Equilibrium for Legged Robots
— A legged robot walking on uneven terrain can avoid falling only by applying contact forces with its feet on the ground that compensate for gravity without causing slip. To plan...
Timothy Bretl, Sanjay Lall
DATE
2000
IEEE
139views Hardware» more  DATE 2000»
15 years 4 months ago
A VHDL Error Simulator for Functional Test Generation
This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
Alessandro Fin, Franco Fummi
SIGSOFT
2007
ACM
16 years 16 days ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...