@inproceedings{ReinbacherBrauerHoraueretal.2010,
  author    = {Thomas Reinbacher and J{\"o}rg Brauer and Martin Horauer and Andreas Steininger and Stefan Kowalewski},
  title     = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation},
  booktitle = {Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Brno, 2010},
  year      = {2010},
}