Login / Signup
An empirical study on the application of mutation testing for a safety-critical industrial software system.
Rudolf Ramler
Thomas Wetzlmaier
Claus Klammer
Published in:
SAC (2017)
Keyphrases
</>
safety critical
formal methods
embedded systems
mutation testing
agent architecture
software systems
safety analysis
nuclear power plant
databases
decision support
source code
test cases
support systems
software development
user interface
relational databases
learning algorithm