Optimizing model-based generated tests for safety-critical embedded software
A test suite optimization approach that leverages symbolic classification, a greedy algorithm, and a similarity measure reduces MBT-generated test suites for embedded software by identifying and eliminating redundancy while minimizing its impact on the fault detection rate.