Class Summary |
Coverage |
Computes coverage information for Java subjects traced by Sofya. |
Statistics |
This class collects and reports various statistics about a class
or set of classes which may be useful for supporting claims about
characteristics of subjects upon which research conclusions are
being based. |
TestHistoryBuilder |
The TestHistoryBuilder gathers coverage information from trace files
produced by the TraceHandler attached
to a ProgramEventDispatcher and uses it
to produce test history files for test subjects. |