Sciweavers

2686 search results - page 8 / 538
» Testing metric properties
Sort
View
PTS
2003
101views Hardware» more  PTS 2003»
13 years 11 months ago
Fast Testing of Critical Properties through Passive Testing
José Antonio Arnedo, Ana R. Cavalli, Manuel...
ERCIM
2008
78views more  ERCIM 2008»
13 years 10 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
IJCAI
1997
13 years 11 months ago
An Achievement Test for Knowledge-Based Systems: QUEM
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
Caroline C. Hayes, Michael I. Parzen
ISMVL
2008
IEEE
126views Hardware» more  ISMVL 2008»
14 years 4 months ago
Betweenness, Metrics and Entropies in Lattices
We investigate a class of metrics on lattices that are compatible with the partial order defined by the lattice using the ternary relation of betweenness that can be naturally de...
Dan A. Simovici
AICCSA
2001
IEEE
172views Hardware» more  AICCSA 2001»
14 years 1 months ago
Methods and Metrics for Selective Regression Testing
In corrective maintenance, selective regression testing includes test selection from previously run test suite and test coverage identification. We propose three reductionbased re...
Rami Bahsoon, Nashat Mansour