Sciweavers

3031 search results - page 46 / 607
» Model Driven Testing Based on Test History
Sort
View
98
Voted
JSS
2007
169views more  JSS 2007»
15 years 12 days ago
MDABench: Customized benchmark generation using MDA
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
15 years 6 months ago
A Method for Modeling and Control Complex Tendon Transmissions in Haptic Interfaces
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
Simone Marcheschi, Antonio Frisoli, Carlo Alberto ...
100
Voted
KBSE
2007
IEEE
15 years 6 months ago
Directed test generation using symbolic grammars
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
Rupak Majumdar, Ru-Gang Xu
IJAIT
2000
142views more  IJAIT 2000»
15 years 9 days ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
ICIP
2003
IEEE
16 years 2 months ago
A Bayesian framework for Gaussian mixture background modeling
Background subtraction is an essential processing component for many video applications. However, its development has largely been application driven and done in ad hoc manners. I...
Dar-Shyang Lee, Jonathan J. Hull, Berna Erol