Automatic Test Data Generation from Embedded C Code.

E. Dillon, Christophe Meudec

Browse the full SAFECOMP paper archive.