1722 search results - page 40 / 345 » Generating Tests from Counterexamples |
FGR
2000
IEEE
15 years 2 months ago
2000
IEEE
Image variability due to changes in pose and illumination can seriously impair object recognition. This paper presents appearance-based methods which, unlike previous appearance-b...
ISI
2008
Springer
14 years 9 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— The goal of this study is a system for a robot to imitate human dances. This paper describes the process to generate whole body motions which can be performed by an actual bipe...
FMOODS
2006
14 years 11 months ago
2006
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite several advantages of meta modeling such as ease of use, the...
KBSE
1998
IEEE
15 years 1 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...