Datasets

• JHotDraw Sample traces

  40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.
  • ZIP