An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software.

Muhammad Nouman Zafar Wasif Afzal Eduard Paul Enoiu

Published in: ENASE (2023)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
agent architecture
fault tolerant
nuclear power plant
support systems
regulatory requirements
adaptive systems
software systems
test cases
knowledge base
real time
learning styles
computational intelligence
software engineering