Principles and Techniques of Simulation Validation, Verification, and Testing.
Osman BalciPublished in: WSC (1995)
Keyphrases
- test generation
- formal verification
- model based testing
- symbolic execution
- simulation environment
- databases
- emergency evacuation
- simulation models
- simulation model
- test data
- model checking
- artificial intelligence
- neural network
- simulation study
- design principles
- test cases
- high fidelity
- control system
- similarity measure
- information systems
- database