Sciweavers

1660 search results - page 17 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
FORTE
2004
15 years 3 months ago
Generation of Integration Tests for Self-Testing Components
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
Leonardo Mariani, Mauro Pezzè, David Willmo...
WWW
2003
ACM
16 years 2 months ago
Automatic Profile Generation in eRACE
In this paper, we describe the design of a profile generator toolkit, which aims to automatically create realistic user profiles for a mobile personalized portal service. These pr...
Christiana Christophi, Marios D. Dikaiakos
113
Voted
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 7 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
119
Voted
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
15 years 7 months ago
Test Generation and Fault Localization for Quantum Circuits
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
99
Voted
GPCE
2003
Springer
15 years 7 months ago
A Case for Test-Code Generation in Model-Driven Systems
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
Matthew J. Rutherford, Alexander L. Wolf