A Layered Adaptive Verification Platform for Simulation, Test, and Emulation.
Martin ZambaldiWolfgang EckerRenate HenftlingMatthias BauerPublished in: IEEE Des. Test Comput. (2004)
Keyphrases
- simulation environment
- experimental platform
- simulation platform
- simulation software
- test generation
- simulation tool
- flight control
- genetic algorithm
- adaptive systems
- database
- adaptive filtering
- pilot testing
- item response theory
- fully connected
- formal methods
- statistical significance
- simulation model
- test cases
- databases
- data sets