Reference:

Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, and Helmut Veith. Seamless testing for models and code. In Dimitra Giannakopoulou and Fernando Orejas, editors, Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, volume 6603 of Lecture Notes in Computer Science, pages 278–293. Springer, 2011.

Suggested BibTeX entry:

@inproceedings{holzer:etal:fase11,
    author = {Andreas Holzer and Visar Januzaj and Stefan Kugele and Boris Langer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
    booktitle = {Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr{\"u}cken, Germany, March 26-April 3, 2011. Proceedings},
    editor = {Dimitra Giannakopoulou and Fernando Orejas},
    pages = {278-293},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Seamless Testing for Models and Code},
    volume = {6603},
    year = {2011}
}