HOME

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
outcomes:data [2017/04/13 16:14]
nour.assy
outcomes:data [2018/01/12 12:20] (current)
nour.assy
Line 4: Line 4:
  
 \\ \\
 +
 +== NASA Crew Exploration Vehicle (CEV) Software Event Log ==
 +
 +| **Description:​** ​  | | Extensible Event Stream (XES) software event log obtained through instrumenting the NASA CEV class using the tool available at https://​svn.win.tue.nl/​repos/​prom/​XPort/​ . This event log contains method-call level events describing a single run of an exhaustive unit test suite for the Crew Exploration Vehicle (CEV) example available and documented at http://​babelfish.arc.nasa.gov/​trac/​jpf/​wiki/​projects/​jpf-statechart ​ (trac) http://​babelfish.arc.nasa.gov/​hg/​jpf/​jpf-statechart ​ (mercurial repository). Note that the life-cycle information in this log corresponds to method call (start) and return (complete), and captures a method-call hierarchy. We attached a slightly preprocessed variant of this event log, where the execution of each unit test method is represented as a separate trace. |
 +| **Link:** | | https://​data.4tu.nl/​repository/​uuid:​60383406-ffcd-441f-aa5e-4ec763426b76 |
 +| **Contact person:** | | Maikel Leemans: <​m.leemans@tue.nl>​ |
 +
 +== Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log ==
 +
 +| **Description:​** ​  | | Extensible Event Stream (XES) software event log obtained through instrumenting the Apache Commons Crypto 1.0.0 using the tool available at https://​svn.win.tue.nl/​repos/​prom/​XPort/​ . This event log contains method-call level events describing a single run of the Stream CbcNopad unit test suite for the Apache Commons Crypto 1.0.0 library available and documented at http://​commons.apache.org/​proper/​commons-crypto/​ . Note that the life-cycle information in this log corresponds to method call (start) and return (complete), and captures a method-call hierarchy. We attached a slightly preprocessed variant of this event log, where the execution of each unit test method is represented as a separate trace. |
 +| **Link:** | | https://​data.4tu.nl/​repository/​uuid:​bb3286d6-dde1-4e74-9a64-fd4e32f10677 |
 +| **Contact person:** | | Maikel Leemans: <​m.leemans@tue.nl>​ |
  
 == JUnit Execution Logs == == JUnit Execution Logs ==