Sciweavers

314 search results - page 1 / 63
» Validating Specifications for Model-Based Testing
Sort
View
SERP
2008
13 years 6 months ago
Validating Specifications for Model-Based Testing
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeij...
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
14 years 5 months ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
PTS
2008
123views Hardware» more  PTS 2008»
13 years 6 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
IICAI
2007
13 years 6 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
TAICPART
2006
IEEE
13 years 10 months ago
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach
Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula ...