Package sofya.tools

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.