303,489 datasets indexed1,419 publishers
Open Data IndexThe index of open data about the Netherlands
Datasets›4TU.ResearchData (via DataCite)
XLSZIPTXTXML

NASA Crew Exploration Vehicle (CEV) Software Event Log

Eindhoven University of Technologyvia 4TU.ResearchData (via DataCite) · updated 21 April 2017
Open at doi.org

What's in it

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.

Files and services

  • DataCite REST API (JSON)api.datacite.org
    Open

Similar datasets

Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event LogEindhoven University of Technology4TU.ResearchData (via DataCite)2017-04-21Statechart Workbench and Alignments Software Event LogEindhoven University of Technology4TU.ResearchData (via DataCite)2018-08-31JUnit 4.12 Software Event LogEindhoven University of Technology4TU.ResearchData (via DataCite)2016-08-15Code and data supporting the paper “Pushing the Boundary of Event Subsampling in Event-Based Video Classification Using CNNs”4TU.ResearchData4TU.ResearchData (via DataCite)2026-08-11Code supporting the paper "Making Every Event Count: Balancing Data Efficiency and Accuracy in Event Camera Subsampling"4TU.ResearchData4TU.ResearchData (via DataCite)2026-08-11Pushing the boundaries of event subsampling in event-based video classification using CNNs4TU.ResearchData4TU.ResearchData (via DataCite)2026-07-31Diabetes Risk Indicators Event Logs (NHIS 2019-2024)4TU.ResearchData4TU.ResearchData (via DataCite)2026-07-27GEDSys: Software components for the Geographic Event Detection System.4TU.ResearchData4TU.ResearchData (via DataCite)2024-11-27

More from Eindhoven University of Technology66 datasets

Receipt phase of an environmental permit application process (WABO), CoSeLoG project4TU.ResearchData (via DataCite)2022-03-07BPI Challenge 2017 - Offer log4TU.ResearchData (via DataCite)2021-02-22Statechart Workbench and Alignments Software Event Log4TU.ResearchData (via DataCite)2018-08-31BPI Challenge 20184TU.ResearchData (via DataCite)2018-03-13Logdata of interactions with three interfaces for lighting control in the Laplace office lightlab4TU.ResearchData (via DataCite)2018-01-08Testing Representational Biases4TU.ResearchData (via DataCite)2017-10-12