Login / Signup
Evaluating specification-level MC/DC criterion in model-based testing of safety critical systems.
Syed S. Arefin
Hadi Hemmati
Howard W. Loewen
Published in:
ICSE (SEIP) (2018)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
test cases
management system
distributed systems
knowledge based systems
load balancing
training data
control system
software engineering
model based testing