A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems.

Toby Wilkinson Michael J. Butler John Colley

Published in: IMBSA (2014)

Keyphrases

safety critical
test generation
formal methods
safety analysis
regulatory requirements
embedded systems
design automation
fault tolerant
test cases
management system
distributed systems
low cost
support systems
agent architecture
adaptive systems
learning systems
open source
e learning