Sciweavers

295 search results - page 18 / 59
» A Test Generation Strategy for Pairwise Testing
Sort
View
DATE
1997
IEEE
74views Hardware» more  DATE 1997»
14 years 25 days ago
Efficient and accurate testing of analog-to-digital converters using oscillation-test method
This paper describes a practical test approach for analog-to-digital converters (ADCs) based on the oscillation-test strategy. The oscillation-test is applied to convert the ADC u...
Karim Arabi, Bozena Kaminska
APSEC
2004
IEEE
14 years 10 days ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
AIME
2007
Springer
14 years 2 months ago
Enhancing Automated Test Selection in Probabilistic Networks
Abstract. Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, test variables are selected sequentially, on a one-by-on...
Danielle Sent, Linda C. van der Gaag
ICPPW
2009
IEEE
14 years 3 months ago
Evaluation of Existing Schedulability Tests for Global EDF
—The increasing attention on global scheduling algorithms for identical multiprocessor platforms produced different, independently developed, schedulability tests. However, the e...
Marko Bertogna
ICST
2009
IEEE
13 years 6 months ago
Timed Testing under Partial Observability
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...