Coverage Measurement in TESSY