A Novel Testing Approach for Safety-Critical Software.

Zhongwei Xu Fangmei Wu

Published in: Asian Test Symposium (1999)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
software intensive systems

safety analysis
nuclear power plant
agent architecture
support systems
test cases

real time
regulatory requirements
adaptive systems
learning systems
recommender systems

user interface
cooperative
case study
artificial intelligence
data mining