@inproceedings{mci/Pietschker2017,
author = {Pietschker, Andreij},
title = {Bericht: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40)},
booktitle = {Softwaretechnik-Trends Band 37, Heft 1},
year = {2017},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}