Helge Holzmann. Videounterstützte Ablaufverfolgung von Tests für Anwendungen mit grafischer Benutzeroberfläche. In Informatiktage 2012 - Fachwissenschaftlicher Informatik-Kongress 23. und 24. März 2012, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Volume S-11 of LNI, pages 83-86, GI, 2012.
Abstract is missing.