Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software.

Fangmei Wu Lei Huang

Published in: Asian Test Symposium (2003)

Keyphrases

safety critical
safety analysis
embedded systems
formal methods
fault tolerant
nuclear power plant
agent architecture
software development
test cases
software systems
adaptive systems
fault model
management system
open source
support systems
symbolic model checking