How to Design an Environment Simulator for Safety Critical Software Testing.

Haiying Tu Fangmei Wu

Published in: Asian Test Symposium (1999)

Keyphrases

software testing
safety critical
test cases
formal methods
software development
real time
case study
design process
artificial intelligence
embedded systems
regression testing
low cost
building blocks
test generation
user interface
test suite
user modeling
real world
databases
database