Sciweavers

1951 search results - page 138 / 391
» UML-Based integration testing
Sort
View
SEMWEB
2005
Springer
15 years 9 months ago
Gnowsis Adapter Framework: Treating Structured Data Sources as Virtual RDF Graphs
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
Leo Sauermann, Sven Schwarz
KES
2008
Springer
15 years 4 months ago
Reinforcing fuzzy rule-based diagnosis of turbomachines with case-based reasoning
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
Meijun Yang, Qiang Shen
TVCG
2012
210views Hardware» more  TVCG 2012»
13 years 6 months ago
A 2D Flow Visualization User Study Using Explicit Flow Synthesis and Implicit Task Design
—This paper presents a 2D flow visualization user study that we conducted using new methodologies to increase the objectiveness. We evaluated grid-based variable-size arrows, eve...
Zhanping Liu, Shangshu Cai, J. Edward Swan II, Rob...
DAC
2003
ACM
16 years 5 months ago
Seed encoding with LFSRs and cellular automata
Reseeding is used to improve fault coverage of pseudorandom testing. The seed corresponds to the initial state of the PRPG before filling the scan chain. In this paper, we present...
Ahmad A. Al-Yamani, Edward J. McCluskey
DSN
2009
IEEE
15 years 10 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...