5855 search results - page 299 / 1171 » Test generation and minimization with |
155
click to vote
AIME
2007
Springer
16 years 27 days ago
2007
Springer
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...
200
click to vote
ISSRE
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
189
click to vote
ERLANG
2004
ACM
16 years 4 days ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
157
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
160
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
A deterministic dynamic element matching (DEM) approach to ADC testing is introduced and compared with a common random DEM method. With both approaches, a highly non-ideal DAC is ...