@inproceedings{holzer:januzaj:kugele:langer:schallhart:tautschnig:veith:fase11,
  title = "Seamless Testing for Models and Code",
  author = "Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and Michael Tautschnig and Helmut
Veith",
  year = "2011",
  booktitle = "Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)",
  isbn = "978-3-642-19810-6",
  month = "April",
  pages = "278-293",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6603",
}