Source

The benchmark program we are using a simulator20<br> of the VT100 terminal (called jTerminal, jT for short),21<br> written in Java and often used in testing experiments.22<br> This program comes with a test class that includes 3523<br> tests; we have added two tests to this class, for a total of24<br> 37 tests, for the deliberate purpose of tripping jTerminal,25<br> i.e. causing it to diverge. The reason for this is that26<br> we want to distinguish between total correctness and27<br> partial correctness, and obtain different values of semantic28<br> coverage depending on the standard of correctness that29<br> we consider.