Improving Testing Coverage for Safety-Critical System by Mutated Specification.

Tingliang Zhou Haiying Sun Jing Liu Xiaohong Chen Dehui Du

Published in: APSEC (1) (2014)

Keyphrases

safety critical
formal methods
safety analysis
nuclear power plant
fault tolerant
embedded systems
test suite
formal specification
regulatory requirements
agent architecture
formal verification
test cases
support systems
low cost
real time
software engineering
cooperative
high level
knowledge base
e learning