Sciweavers

2169 search results - page 82 / 434
» Testing Incremental Adaptation
Sort
View
FLAIRS
2003
13 years 9 months ago
A Case-Based Adaptation Model for Thyroid Cancer Diagnosis Using Neural Networks
In this paper, a new hybrid adaptation model for cancer diagnosis has been developed. It combines transformational and hierarchical adaptation techniques with artificial neural ne...
Abdel-Badeeh M. Salem, Bassant El Bagoury
TAP
2007
Springer
92views Hardware» more  TAP 2007»
14 years 2 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
COMCOM
1999
124views more  COMCOM 1999»
13 years 7 months ago
Minimizing the Cost of Fault Location when Testing from a Finite State Machine
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...
Robert M. Hierons
SFP
2003
13 years 9 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
IJCAI
2001
13 years 9 months ago
An On-line Decision-Theoretic Golog Interpreter
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
Mikhail Soutchanski