Laboratoire d'informatique formelleLaboratoire d'informatique formelleliflabliflabZIPOther (Open)Feb 10, 20162016-02-10
Dataset
JHotDraw Sample traces
40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.
40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.
Download & API
jhotdraw-trace-samples.zipzip
Sources & license
License
- Other (Open)