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...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Conference item |
Published: |
Association for Computing Machinery
2011
|