—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...
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...
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...
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...
— 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...