Sciweavers

21183 search results - page 28 / 4237
» Adaptive Testing by Test
Sort
View
118
Voted
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
15 years 10 months ago
Robot-Dummy Crash Tests for Robot Safety Assessment
— New technologies and processes enhance the need for direct human-robot-interaction, to fully exploit the potential of robots’ accuracy and humans’ adaptability. Therefore, ...
Susanne Oberer, Rolf Dieter Schraft
134
Voted
ICSEA
2007
IEEE
15 years 10 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
152
Voted
ASPDAC
2004
ACM
151views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Combinatorial group testing methods for the BIST diagnosis problem
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
Andrew B. Kahng, Sherief Reda
124
Voted
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
15 years 7 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
157
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...