#software testing
Oct 2026
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.
Muhammad Nouman Zafar, Wasif Afzal, Eduard Paul Enoiu et al.
· Software quality journal · 0 citations