Test-case generation for embedded simulink via formal concept analysis
Mutation testing suffers from the high computational cost of automated test-vector generation, due to the large number of mutants that can be derived from programs and the cost of generating test-cases in a white-box manner. We propose a novel algorithm for mutation-based test-case generation for Si...
| 主要な著者: | , , |
|---|---|
| その他の著者: | |
| フォーマット: | Conference item |
| 出版事項: |
Association for Computing Machinery
2011
|