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...
| Hlavní autoři: | , , , , , , |
|---|---|
| Další autoři: | |
| Médium: | Conference item |
| Vydáno: |
Springer
2010
|