Abstract: Embedded software commonly executes safety-critical tasks and thus is expected to be highly reliable, which calls for stronger quality assurance techniques. As a fault-based testing ...