Fail-Safe Test Generation in Safety Critical Systems.

Anneliese Amschler Andrews Salwa Elakeili Salah Boukhris

Published in: HASE (2014)

Keyphrases

safety critical
test generation
formal methods
safety analysis
fault tolerant
support systems
agent architecture
embedded systems
design automation
real time
test cases
knowledge base
nuclear power plant
distributed systems
management system
adaptive systems
expert systems
case study
decision making