In addition to the well-established heuristic and statistic test-data generation approaches, BSSE is currently implementing constraint-based test-data generation for its sophisticated automatic test tool for C, DCRTT.

The new technology will allow to not only determine the properties of a system-under-test under statistically relevant conditions, but also to reach complete or near-to-complete test-coverage without manual intervention.