Sciweavers

3031 search results - page 50 / 607
» Model Driven Testing Based on Test History
Sort
View
TCAD
2010
94views more  TCAD 2010»
14 years 7 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
FATES
2004
Springer
15 years 4 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
114
Voted
SDM
2010
SIAM
218views Data Mining» more  SDM 2010»
15 years 2 months ago
Confidence-Based Feature Acquisition to Minimize Training and Test Costs
We present Confidence-based Feature Acquisition (CFA), a novel supervised learning method for acquiring missing feature values when there is missing data at both training and test...
Marie desJardins, James MacGlashan, Kiri L. Wagsta...
95
Voted
SNPD
2008
15 years 1 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
ICST
2008
IEEE
15 years 7 months ago
Quality of Automatically Generated Test Cases based on OCL Expressions
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
Stephan Weißleder, Bernd-Holger Schlingloff