Sciweavers

713 search results - page 70 / 143
» Formalization, Testing and Execution of a Use Case Diagram
Sort
View
DIS
2008
Springer
15 years 1 months ago
Unsupervised Classifier Selection Based on Two-Sample Test
We propose a well-founded method of ranking a pool of m trained classifiers by their suitability for the current input of n instances. It can be used when dynamically selecting a s...
Timo Aho, Tapio Elomaa, Jussi Kujala
ICSE
2005
IEEE-ACM
15 years 12 months ago
Check 'n' crash: combining static checking and testing
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
Christoph Csallner, Yannis Smaragdakis
AICCSA
2001
IEEE
83views Hardware» more  AICCSA 2001»
15 years 3 months ago
A Measure for Component Interaction Test Coverage
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
Alan W. Williams, Robert L. Probert
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
15 years 5 months ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
UML
2005
Springer
15 years 5 months ago
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...