Holzer, A., Januzaj, V., Kugele, S., Langer, B., Schallhart, C., Tautschnig, M., . . . Giannakopoulou, D. (2011). Seamless Testing for Models and Code. Springer.

Holzer, A., V. Januzaj, S. Kugele, B. Langer, C. Schallhart, M. Tautschnig, H. Veith, and D. Giannakopoulou. Seamless Testing for Models and Code. Springer, 2011.

Holzer, A., et al. Seamless Testing for Models and Code. Springer, 2011.