Orlando Ferrante, Alberto Ferrari, Marco Marazza. Model based generation of high coverage test suites for embedded systems. In Giorgio Di Natale, editor, 19th IEEE European Test Symposium, ETS 2014, Paderborn, Germany, May 26-30, 2014. pages 1-2, IEEE, 2014. [doi]
Abstract is missing.