Mutation-based test case generation for simulink models
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involve...
| Main Authors: | , , , , , , |
|---|---|
| 其他作者: | |
| 格式: | Conference item |
| 出版: |
Springer
2010
|