Sciweavers

551 search results - page 38 / 111
» Reducing the cost of applying adaptive test cases
Sort
View
IJCNN
2007
IEEE
14 years 2 months ago
Automated Linear Modeling of Time Series with Self Adaptive Genetic Algorithms
—In this paper we present two algorithms that automatically calculate linear expressions for Time Series. To estimate the maximum number of terms of the linear expression and the...
Pedro Flores, Carlos Anaya, Hector M. Ramirez, Lui...
VTS
1996
IEEE
112views Hardware» more  VTS 1996»
14 years 20 days ago
Optimal voltage testing for physically-based faults
In this paper we investigate optimal voltage testing approaches for physically-based faults in CMOS circuits. We describe the general nature of the problem and then focus on two f...
Yuyun Liao, D. M. H. Walker
ENTCS
2010
103views more  ENTCS 2010»
13 years 5 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
SAC
2010
ACM
13 years 8 months ago
Spatiotemporal sampling for trajectory streams
In this paper, we present a summarization technique adapted to trajectory streams. The Spatiotemporal Stream Sampling (STSS) algorithm is a single-pass sampling technique that tak...
Mohamed Khalil El Mahrsi, Christine Potier, George...
CEC
2007
IEEE
14 years 2 months ago
A Memetic Algorithm for test data generation of Object-Oriented software
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
Andrea Arcuri, Xin Yao