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...
| Hauptverfasser: | , , , , , , |
|---|---|
| Weitere Verfasser: | |
| Format: | Conference item |
| Veröffentlicht: |
Springer
2010
|