Sciweavers

1422 search results - page 25 / 285
» Test Generation Algorithms Based on Preorder Relations
Sort
View
VTS
2002
IEEE
120views Hardware» more  VTS 2002»
15 years 2 months ago
Software-Based Weighted Random Testing for IP Cores in Bus-Based Programmable SoCs
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
Madhu K. Iyer, Kwang-Ting Cheng
ECBS
2011
IEEE
197views Hardware» more  ECBS 2011»
13 years 9 months ago
Finding Interaction Faults Adaptively Using Distance-Based Strategies
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
Renée C. Bryce, Charles J. Colbourn, D. Ric...
COLING
2010
14 years 4 months ago
Automatic generation of inter-passage links based on semantic similarity
This paper investigates the use and the prediction potential of semantic similarity measures for automatic generation of links across different documents and passages. First, the ...
Petr Knoth, Jakub Novotny, Zdenek Zdráhal
73
Voted
SNPD
2008
14 years 11 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...