Using Integer Linear Programming in Test-bench Generation for Evaluating Communication Processors. - Eric Senn; David Monnereau; André Rossi; Nathalie Julien (DSD, 2009)