Sciweavers

840 search results - page 49 / 168
» Test suite oscillations
Sort
View
129
Voted
KBS
2011
116views more  KBS 2011»
14 years 7 months ago
Advanced empirical testing
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
Joachim Baumeister
85
Voted
DKE
2008
85views more  DKE 2008»
15 years 16 days ago
On automatic knowledge validation for Bayesian knowledge bases
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
Eugene Santos Jr., Hang T. Dinh
101
Voted
KBSE
2000
IEEE
15 years 4 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 5 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
56
Voted
LREC
2008
91views Education» more  LREC 2008»
15 years 1 months ago
Evaluation of Linguistics-Based Translation
We report on the evaluation of the Norwegian
Janne Bondi Johannessen, Torbjørn Nordg&ari...