Abstract: The processing power and memory size of typical embedded systems hinder the employment of instrumentation-based software testing techniques, as they clash with nonfunctional requirements ...