Sciweavers

1728 search results - page 66 / 346
» An approach to integration testing based on architectural de...
Sort
View
KBSE
2003
IEEE
15 years 5 months ago
Tool-Assisted Unit Test Selection Based on Operational Violations
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
Tao Xie, David Notkin
100
Voted
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 18 days ago
Guarded Hybrid Knowledge Bases
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...
MUC
1991
15 years 4 months ago
University of Massachusetts: description of the CIRCUS system as used for MUC-3
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
Wendy G. Lehnert, Claire Cardie, David Fisher, Ell...
AH
2008
Springer
15 years 7 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
105
Voted
CSB
2003
IEEE
111views Bioinformatics» more  CSB 2003»
15 years 6 months ago
A Contradiction-Based Framework for Testing Gene Regulation Hypotheses
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
Steve Racunas, Nigam Shah, Nina V. Fedoroff