The jtcas artifact is a port of the tcas artifact originally implemented in C.
Faults inserted into the original tcas have been applied, when possible, to
the same version numbers in this Java implementation.
Our translation of the program and faults to Java isn't necessarily meant to
preserve all aspects of failure behavior across the Java/C versions.

Some faults were not amenable to porting into Java, and one data structure
usage is different between the C and Java implementations.

Two of the faulted versions inserted faults in C that could not be implemented
in Java.  Specifically version 33 and 38 in the versions.seeded set are
the same as the original.

Also, at least 2 of the faulted original C versions expressed two faults
instead of the normal single fault methodology followed by other SIR subjects.
When the Java implementation was created, only one of the faults present
in the C version was applied.  To find out which was implemented you will
need to difference the C version and Java versions manually as we only
noted these differences existed when preparing jtcas for the SIR.  Owing
to the simplicity of the tcas application and the similarities between
C and Java the differences will be apparent.

Subsequent to initial release of this subject, a user found that the
fault in v21 (versions.alt/versions.seeded/v21/tcas.java) differed
from the fault expressed in the C version of tcas for this same
version.  This has been remedied in jtcas_1.1 of the SIR repository.
Consequent to this, the test report data collected within the traces.alt
will reflect the 1.0 version of v21.

Files Contained in this Directory

mkFaultMatrix.sh - makes a fault matrix file
README           - this file
runall-diff.sh   - a runall script of the universe.tsl tests with differencing
runall.sh        - a runall script of the universe.tsl tests
tools            - tools used by the original author for concolic/mutation testsing

The mkFaultMatrix.sh script uses compiled (C language) tools from the java-tools
set which is available for download from the SIR Tools page.
