Model based generation of high coverage test suites for embedded systems.

Orlando Ferrante, Alberto Ferrari, Marco Marazza

Browse the full ETS paper archive.