254 search results - page 18 / 51 » Deriving test plans from architectural descriptions |
ECBS
2005
IEEE
14 years 3 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
CBMS
2000
IEEE
14 years 2 months ago
2000
IEEE
We are building a biomedical information resource consisting of digitized x-ray images and associated textual data from national health surveys. This resource, the Web-based Medic...
DAC
2001
ACM
14 years 11 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
ECMDAFA
2007
Springer
14 years 4 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
SBBD
2003
13 years 11 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...