Definition of a systematic method for the generation of software test programs allowing the functional verification of System On Chip (SoC). - F. Hunsinger; Sebastien Francois; Ahmed Amine Jerraya (MTV, 2003)