{"data":{"id":"10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76","type":"dois","attributes":{"doi":"10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76","prefix":"10.4121","suffix":"uuid:60383406-ffcd-441f-aa5e-4ec763426b76","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Leemans, Maikel","nameType":"Personal","givenName":"Maikel","familyName":"Leemans","nameIdentifiers":[{"nameIdentifier":"0000-0002-8384-4975","nameIdentifierScheme":"https://orcid.org/"}],"affiliation":[]}],"titles":[{"title":"NASA Crew Exploration Vehicle (CEV) Software Event Log"}],"publisher":"Eindhoven University of Technology","container":{},"publicationYear":2017,"subjects":[{"subject":"Information Systems","subjectScheme":"Australian and New Zealand Standard Research Classification (ANZSRC), 2008","classificationCode":"0806"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"Hierarchical event log"},{"subject":"IEEE Task Force on Process Mining"},{"subject":"Method-call event log"},{"subject":"Open-source software log"},{"subject":"Software event log"},{"subject":"Unit test event log"},{"subject":"real life event logs"},{"subject":"Time: 10-02-2017"}],"contributors":[{"name":"Clausthal University Of Technology, Institute For Applied Software Systems Engineering (IPSSE), Germany","nameType":"Organizational","affiliation":[],"contributorType":"Other","nameIdentifiers":[]},{"name":"Eindhoven University Of Technology, Department Of Mathematics And Computer Science","nameType":"Organizational","affiliation":[],"contributorType":"Other","nameIdentifiers":[]},{"name":"Howar, F. (Falk)","nameType":"Personal","affiliation":[],"contributorType":"Other","nameIdentifiers":[]}],"dates":[{"date":"2017-04-21","dateType":"Issued"}],"language":"en","types":{"ris":"DATA","bibtex":"misc","citeproc":"dataset","schemaOrg":"Dataset","resourceType":"Dataset","resourceTypeGeneral":"Dataset"},"relatedIdentifiers":[{"relationType":"References","relatedIdentifier":"https://arxiv.org/abs/1710.09323","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"https://doi.org/10.1007/978-3-319-69462-7_8","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"https://doi.org/10.1109/SANER.2018.8330208","relatedIdentifierType":"URL"}],"relatedItems":[],"sizes":[],"formats":["media types: application/vnd.ms-excel, application/x-gzip, application/zip, text/plain, text/xml"],"version":"1","rightsList":[{"rights":"4TU General Terms of Use","rightsUri":"https://doi.org/10.4121/resource:terms_of_use"}],"descriptions":[{"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.","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjQvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40MTIxL1VVSUQ6NjAzODM0MDYtRkZDRC00NDFGLUFBNUUtNEVDNzYzNDI2Qjc2PC9pZGVudGlmaWVyPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5NYWlrZWwgTGVlbWFuczwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWFpa2VsPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkxlZW1hbnM8L2ZhbWlseU5hbWU+CiAgICAgIDxuYW1lSWRlbnRpZmllciBuYW1lSWRlbnRpZmllclNjaGVtZT0iaHR0cHM6Ly9vcmNpZC5vcmcvIj4wMDAwLTAwMDItODM4NC00OTc1PC9uYW1lSWRlbnRpZmllcj4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+TkFTQSBDcmV3IEV4cGxvcmF0aW9uIFZlaGljbGUgKENFVikgU29mdHdhcmUgRXZlbnQgTG9nPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPkVpbmRob3ZlbiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3k8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTc8L3B1YmxpY2F0aW9uWWVhcj4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IkRhdGFzZXQiPkRhdGFzZXQ8L3Jlc291cmNlVHlwZT4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJBdXN0cmFsaWFuIGFuZCBOZXcgWmVhbGFuZCBTdGFuZGFyZCBSZXNlYXJjaCBDbGFzc2lmaWNhdGlvbiAoQU5aU1JDKSwgMjAwOCIgY2xhc3NpZmljYXRpb25Db2RlPSIwODA2Ij5JbmZvcm1hdGlvbiBTeXN0ZW1zPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+SGllcmFyY2hpY2FsIGV2ZW50IGxvZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0PklFRUUgVGFzayBGb3JjZSBvbiBQcm9jZXNzIE1pbmluZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0Pk1ldGhvZC1jYWxsIGV2ZW50IGxvZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0Pk9wZW4tc291cmNlIHNvZnR3YXJlIGxvZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlNvZnR3YXJlIGV2ZW50IGxvZzwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlVuaXQgdGVzdCBldmVudCBsb2c8L3N1YmplY3Q+CiAgICA8c3ViamVjdD5yZWFsIGxpZmUgZXZlbnQgbG9nczwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlRpbWU6IDEwLTAyLTIwMTc8L3N1YmplY3Q+CiAgPC9zdWJqZWN0cz4KICA8Y29udHJpYnV0b3JzPgogICAgPGNvbnRyaWJ1dG9yIGNvbnRyaWJ1dG9yVHlwZT0iT3RoZXIiPgogICAgICA8Y29udHJpYnV0b3JOYW1lIG5hbWVUeXBlPSJPcmdhbml6YXRpb25hbCI+Q2xhdXN0aGFsIFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSwgSW5zdGl0dXRlIGZvciBBcHBsaWVkIFNvZnR3YXJlIFN5c3RlbXMgRW5naW5lZXJpbmcgKElQU1NFKSwgR2VybWFueTwvY29udHJpYnV0b3JOYW1lPgogICAgPC9jb250cmlidXRvcj4KICAgIDxjb250cmlidXRvciBjb250cmlidXRvclR5cGU9Ik90aGVyIj4KICAgICAgPGNvbnRyaWJ1dG9yTmFtZSBuYW1lVHlwZT0iT3JnYW5pemF0aW9uYWwiPkVpbmRob3ZlbiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIERlcGFydG1lbnQgb2YgTWF0aGVtYXRpY3MgYW5kIENvbXB1dGVyIFNjaWVuY2U8L2NvbnRyaWJ1dG9yTmFtZT4KICAgIDwvY29udHJpYnV0b3I+CiAgICA8Y29udHJpYnV0b3IgY29udHJpYnV0b3JUeXBlPSJPdGhlciI+CiAgICAgIDxjb250cmlidXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5Ib3dhciwgRi4gKEZhbGspPC9jb250cmlidXRvck5hbWU+CiAgICA8L2NvbnRyaWJ1dG9yPgogIDwvY29udHJpYnV0b3JzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJJc3N1ZWQiPjIwMTctMDQtMjE8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IlJlZmVyZW5jZXMiPmh0dHBzOi8vYXJ4aXYub3JnL2Ficy8xNzEwLjA5MzIzPC9yZWxhdGVkSWRlbnRpZmllcj4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IlVSTCIgcmVsYXRpb25UeXBlPSJSZWZlcmVuY2VzIj5odHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0zMTktNjk0NjItN184PC9yZWxhdGVkSWRlbnRpZmllcj4KICAgIDxyZWxhdGVkSWRlbnRpZmllciByZWxhdGVkSWRlbnRpZmllclR5cGU9IlVSTCIgcmVsYXRpb25UeXBlPSJSZWZlcmVuY2VzIj5odHRwczovL2RvaS5vcmcvMTAuMTEwOS9TQU5FUi4yMDE4LjgzMzAyMDg8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDxmb3JtYXRzPgogICAgPGZvcm1hdD5tZWRpYSB0eXBlczogYXBwbGljYXRpb24vdm5kLm1zLWV4Y2VsLCBhcHBsaWNhdGlvbi94LWd6aXAsIGFwcGxpY2F0aW9uL3ppcCwgdGV4dC9wbGFpbiwgdGV4dC94bWw8L2Zvcm1hdD4KICA8L2Zvcm1hdHM+CiAgPHZlcnNpb24+MTwvdmVyc2lvbj4KICA8cmlnaHRzTGlzdD4KICAgIDxyaWdodHMgcmlnaHRzVVJJPSJodHRwczovL2RvaS5vcmcvMTAuNDEyMS9yZXNvdXJjZTp0ZXJtc19vZl91c2UiPjRUVSBHZW5lcmFsIFRlcm1zIG9mIFVzZTwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPkV4dGVuc2libGUgRXZlbnQgU3RyZWFtIChYRVMpIHNvZnR3YXJlIGV2ZW50IGxvZyBvYnRhaW5lZCB0aHJvdWdoIGluc3RydW1lbnRpbmcgdGhlIE5BU0EgQ0VWIGNsYXNzIHVzaW5nIHRoZSB0b29sIGF2YWlsYWJsZSBhdCB7aHR0cHM6Ly9zdm4ud2luLnR1ZS5ubC9yZXBvcy9wcm9tL1hQb3J0L30uIFRoaXMgZXZlbnQgbG9nIGNvbnRhaW5zIG1ldGhvZC1jYWxsIGxldmVsIGV2ZW50cyBkZXNjcmliaW5nIGEgc2luZ2xlIHJ1biBvZiBhbiBleGhhdXN0aXZlIHVuaXQgdGVzdCBzdWl0ZSBmb3IgdGhlIENyZXcgRXhwbG9yYXRpb24gVmVoaWNsZSAoQ0VWKSBleGFtcGxlIGF2YWlsYWJsZSBhbmQgZG9jdW1lbnRlZCBhdCB7aHR0cDovL2JhYmVsZmlzaC5hcmMubmFzYS5nb3YvdHJhYy9qcGYvd2lraS9wcm9qZWN0cy9qcGYtc3RhdGVjaGFydH0gKHRyYWMpIHtodHRwOi8vYmFiZWxmaXNoLmFyYy5uYXNhLmdvdi9oZy9qcGYvanBmLXN0YXRlY2hhcnR9IChtZXJjdXJpYWwgcmVwb3NpdG9yeSkuCU5vdGUgdGhhdCB0aGUgbGlmZS1jeWNsZSBpbmZvcm1hdGlvbiBpbiB0aGlzIGxvZyBjb3JyZXNwb25kcyB0byBtZXRob2QgY2FsbCAoc3RhcnQpIGFuZCByZXR1cm4gKGNvbXBsZXRlKSwgYW5kIGNhcHR1cmVzIGEgbWV0aG9kLWNhbGwgaGllcmFyY2h5LiBXZSBhdHRhY2hlZCBhIHNsaWdodGx5IHByZXByb2Nlc3NlZCB2YXJpYW50IG9mIHRoaXMgZXZlbnQgbG9nLCB3aGVyZSB0aGUgZXhlY3V0aW9uIG9mIGVhY2ggdW5pdCB0ZXN0IG1ldGhvZCBpcyByZXByZXNlbnRlZCBhcyBhIHNlcGFyYXRlIHRyYWNlLjwvZGVzY3JpcHRpb24+CiAgPC9kZXNjcmlwdGlvbnM+CjwvcmVzb3VyY2U+","url":"https://data.4tu.nl/articles/_/12696995/1","contentUrl":null,"metadataVersion":10,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":14,"viewsOverTime":[{"yearMonth":"2025-03","total":2},{"yearMonth":"2025-03","total":2},{"yearMonth":"2025-04","total":4},{"yearMonth":"2025-04","total":4},{"yearMonth":"2025-05","total":1},{"yearMonth":"2026-01","total":1}],"downloadCount":3,"downloadsOverTime":[{"yearMonth":"2025-03","total":1},{"yearMonth":"2025-03","total":1},{"yearMonth":"2025-04","total":0},{"yearMonth":"2025-04","total":0},{"yearMonth":"2025-05","total":0},{"yearMonth":"2026-01","total":1}],"referenceCount":2,"citationCount":1,"citationsOverTime":[{"year":"2026","total":1}],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2017-04-21T12:28:52.000Z","registered":"2017-04-21T12:28:53.000Z","published":"2017","updated":"2025-06-01T06:14:25.000Z"},"relationships":{"client":{"data":{"id":"delft.data4tu","type":"clients"}},"provider":{"data":{"id":"scpr","type":"providers"}},"media":{"data":{"id":"10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76","type":"media"}},"references":{"data":[{"id":"10.1109/saner.2018.8330208","type":"dois"},{"id":"10.1007/978-3-319-69462-7_8","type":"dois"}]},"citations":{"data":[{"id":"10.1007/s44311-026-00050-y","type":"dois"}]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}