@article{7658,
      author        = "Khoumsi, A.",
      title         = "{Test cases generation for embedded systems}",
      number        = "7658",
      pages         = "pp. 581-592",
      year          = "2004",
}