Sciweavers

565 search results - page 7 / 113
» Compositional dynamic test generation
Sort
View
ISSRE
2008
IEEE
14 years 1 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
GLVLSI
1997
IEEE
92views VLSI» more  GLVLSI 1997»
13 years 11 months ago
An Efficient Dynamic Parallel Approach to Automatic Test Pattern Generation
H.-Ch. Dahmen, Uwe Gläser, Heinrich Theodor V...
MBEES
2008
13 years 8 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
GLOBECOM
2009
IEEE
14 years 2 months ago
A Distributed Constraint Satisfaction Problem for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, enables users to generate complex strong specific systems. Current prominent MANET-based composi...
Eric Karmouch, Amiya Nayak