Sciweavers

19010 search results - page 94 / 3802
» Adapting to adaptive testing
Sort
View
128
Voted
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 9 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
98
Voted
COMCOM
1999
124views more  COMCOM 1999»
15 years 3 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
109
Voted
ACISICIS
2009
IEEE
15 years 8 months ago
A Systematic Framework for Grammar Testing
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
Lixiao Zheng, Haiming Chen
FOAL
2009
ACM
15 years 10 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
PCM
2007
Springer
132views Multimedia» more  PCM 2007»
15 years 9 months ago
FADA: An Efficient Dimension Reduction Scheme for Image Classification
This paper develops a novel and efficient dimension reduction scheme--Fast Adaptive Discriminant Analysis (FADA). FADA can find a good projection with adaptation to different sampl...
Yijuan Lu, Jingsheng Ma, Qi Tian