TEST-COVER: Ein Werkzeug zur Testüberwachung und Teststatistik und seine Anwendungen in der Software-Entwicklung.