Sciweavers

713 search results - page 70 / 143
» Formalization, Testing and Execution of a Use Case Diagram
Sort
View
DIS
2008
Springer
15 years 7 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
16 years 6 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 9 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 12 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 11 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...