TY - DATA
T1 - NASA Crew Exploration Vehicle (CEV) Software Event Log
PY - 2017/04/21
AU - Maikel Leemans
UR - https://data.4tu.nl/articles/dataset/NASA_Crew_Exploration_Vehicle_CEV_Software_Event_Log/12696995/1
DO - 10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76
KW - Hierarchical event log
KW - IEEE Task Force on Process Mining
KW - Method-call event log
KW - Open-source software log
KW - Software event log
KW - Unit test event log
KW - real life event logs
N2 - 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.
ER -