Sciweavers

1718 search results - page 56 / 344
» Modeling and testing of cloud applications
Sort
View
FMOODS
2007
13 years 10 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
GI
2007
Springer
14 years 2 months ago
Automated Test Case Selection Based on a Similarity Function
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
Emanuela G. Cartaxo, Francisco G. Oliveira Neto, P...
SEW
2006
IEEE
14 years 2 months ago
Pseudo-Exhaustive Testing for Software
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
D. Richard Kuhn, Vadim Okun
DAC
1997
ACM
14 years 27 days ago
Hardware/Software Co-Simulation in a VHDL-Based Test Bench Approach
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
Matthias Bauer, Wolfgang Ecker
GECCO
2003
Springer
115views Optimization» more  GECCO 2003»
14 years 1 months ago
A Specialized Island Model and Its Application in Multiobjective Optimization
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...
Ningchuan Xiao, Marc P. Armstrong