Sciweavers

4457 search results - page 73 / 892
» Tests of Machine Intelligence
Sort
View
ASWEC
2005
IEEE
14 years 3 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
ICML
2007
IEEE
14 years 11 months ago
Discriminative learning for differing training and test distributions
We address classification problems for which the training instances are governed by a distribution that is allowed to differ arbitrarily from the test distribution--problems also ...
Michael Brückner, Steffen Bickel, Tobias Sche...
FATES
2003
Springer
14 years 3 months ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
ICST
2009
IEEE
14 years 4 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
KDD
2000
ACM
211views Data Mining» more  KDD 2000»
14 years 1 months ago
Mining IC test data to optimize VLSI testing
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
Tony Fountain, Thomas G. Dietterich, Bill Sudyka