{"response":{"docs":[{"system_create_dtsi":"2018-05-31T19:27:43Z","system_modified_dtsi":"2019-01-24T17:40:07Z","has_model_ssim":["Collection"],"id":"pv63g061k","accessControl_ssim":["4a2706bd-5cbe-4972-82ec-f165e45cbf6a"],"depositor_ssim":["alenazmh@mail.uc.edu"],"depositor_tesim":["alenazmh@mail.uc.edu"],"title_tesim":["RE18"],"collection_type_gid_ssim":["gid://scholar-uc/hyrax-collectiontype/1"],"creator_tesim":["Alenazi, Mounifah"],"description_tesim":["Datasets, Obstacle Tress"],"license_tesim":["http://rightsstatements.org/vocab/InC/1.0/"],"thumbnail_path_ss":"/assets/collection-a38b932554788aa578debf2319e8c4ba8a7db06b3ba57ecda1391a548a4b6e0a.png","bytes_lts":0,"visibility_ssi":"open","sort_title_ssi":"RE18","read_access_group_ssim":["public"],"edit_access_group_ssim":["admin"],"edit_access_person_ssim":["alenazmh@mail.uc.edu"],"human_readable_type_tesim":["Collection"],"nesting_collection__pathnames_ssim":["pv63g061k"],"nesting_collection__deepest_nested_depth_isi":1,"_version_":1697095804647374848,"timestamp":"2021-04-15T08:51:21.373Z","score":1.0005},{"system_create_dtsi":"2020-05-22T16:42:15Z","system_modified_dtsi":"2020-05-22T22:03:18Z","has_model_ssim":["GenericWork"],"id":"j3860821t","accessControl_ssim":["96188d4e-ce7f-4b22-b27a-ec49da531ff7"],"hasRelatedMediaFragment_ssim":["3j333346p"],"hasRelatedImage_ssim":["3j333346p"],"depositor_ssim":["niunn@ucmail.uc.edu"],"depositor_tesim":["niunn@ucmail.uc.edu"],"title_tesim":["Data of SysML SMD Environment Assumptions"],"date_uploaded_dtsi":"2020-05-22T16:42:15Z","date_modified_dtsi":"2020-05-22T22:03:12Z","isPartOf_ssim":["admin_set/default"],"on_behalf_of_ssim":[""],"doi_tesim":["doi:10.7945/n0g0-j524"],"college_tesim":["Engineering and Applied Science"],"department_tesim":["- Computing Sciences \u0026 Informatics"],"creator_tesim":["Alenazi, Mounifah","Niu, Nan"],"publisher_tesim":["University of Cincinnati"],"subject_tesim":["Software Engineering","Model-Driven Engineering","Requirements Engineering"],"description_tesim":["Environment assumptions elicited from human modelers for a SysML state machine diagram (SMD) in the context of satisfaction of a safety requirement."],"license_tesim":["http://opendatacommons.org/licenses/dbcl/1.0/"],"date_created_tesim":["2020-05-22"],"thumbnail_path_ss":"/downloads/3j333346p?file=thumbnail","suppressed_bsi":false,"actionable_workflow_roles_ssim":["admin_set/default-default-depositing"],"workflow_state_name_ssim":["deposited"],"member_ids_ssim":["3j333346p"],"file_set_ids_ssim":["3j333346p"],"visibility_ssi":"open","admin_set_tesim":["Default Admin Set"],"sort_title_ssi":"DATA OF SYSML SMD ENVIRONMENT ASSUMPTIONS","human_readable_type_tesim":["Generic Work"],"read_access_group_ssim":["public"],"edit_access_group_ssim":["admin"],"edit_access_person_ssim":["niunn@ucmail.uc.edu"],"nesting_collection__pathnames_ssim":["j3860821t"],"nesting_collection__deepest_nested_depth_isi":1,"_version_":1697096227183656960,"timestamp":"2021-04-15T08:58:04.335Z","score":0.00049999997},{"system_create_dtsi":"2019-09-02T11:10:15Z","system_modified_dtsi":"2019-09-05T11:17:52Z","has_model_ssim":["Article"],"id":"rv042v465","accessControl_ssim":["ba77c5c8-c27f-45a7-9f14-09490e60c105"],"hasRelatedMediaFragment_ssim":["6395w833q"],"hasRelatedImage_ssim":["6395w833q"],"depositor_ssim":["niunn@ucmail.uc.edu"],"depositor_tesim":["niunn@ucmail.uc.edu"],"title_tesim":["A Process Mining Approach to Improving Defect Detection of SysML Models"],"date_uploaded_dtsi":"2019-09-02T11:10:15Z","date_modified_dtsi":"2019-09-05T11:17:36Z","isPartOf_ssim":["admin_set/default"],"on_behalf_of_ssim":[""],"doi_tesim":["doi:10.7945/6rna-m982"],"alternate_title_tesim":["ASE 2019 Late Breaking Results (LBR) Track"],"college_tesim":["Engineering and Applied Science"],"department_tesim":["- Computing Sciences \u0026 Informatics"],"creator_tesim":["Alenazi, Mounifah","Niu, Nan","Savolainen, Juha"],"publisher_tesim":["University of Cincinnati"],"subject_tesim":["model-driven engineering","model checking","defect detection","mutation testing","process mining","systems modeling language (SysML)"],"language_tesim":["English"],"description_tesim":["The development of complex and dependable systems like autonomous vehicles relies increasingly on the use of systems modeling language (SysML). In fact, SysML has become a de facto standard for systems engineering. With model-driven engineering, a SysML model serves as a reference for the early defect detection of the system under design: the earlier the errors are detected, the less is the cost of handling the errors. Mutation testing is a fault-based technique that has recently seen its applications to SysML behavioral models (e.g., state machine diagrams). Specifically, a system's state-transition design can be fed to a model checker where mutants are automatically generated and then killed against the desired design specifications (e.g., safety properties). In this paper, we present a novel approach based on process mining to improve the effectiveness and efficiency of the SysML mutation testing based on model checking. In our approach, the mutation operators are applied directly to the state machine diagram. These mutants are then fed as traces into a process mining tool and checked according to the event logs. Our initial results indicates that the process mining approach kills more mutants faster than the model checking method."],"license_tesim":["http://www.opendatacommons.org/licenses/by/1.0/"],"date_created_tesim":["2019-09-02"],"thumbnail_path_ss":"/downloads/6395w833q?file=thumbnail","suppressed_bsi":false,"actionable_workflow_roles_ssim":["admin_set/default-default-depositing"],"workflow_state_name_ssim":["deposited"],"member_ids_ssim":["6395w833q"],"file_set_ids_ssim":["6395w833q"],"visibility_ssi":"open","admin_set_tesim":["Default Admin Set"],"sort_title_ssi":"PROCESS MINING APPROACH TO IMPROVING DEFECT DETECTION OF SYSML MODELS","human_readable_type_tesim":["Article"],"read_access_group_ssim":["public"],"edit_access_group_ssim":["admin"],"edit_access_person_ssim":["niunn@ucmail.uc.edu"],"nesting_collection__pathnames_ssim":["rv042v465"],"nesting_collection__deepest_nested_depth_isi":1,"_version_":1697116423868907520,"timestamp":"2021-04-15T14:19:05.395Z","score":0.00049999997},{"system_create_dtsi":"2019-06-16T03:04:36Z","system_modified_dtsi":"2019-06-30T19:52:15Z","has_model_ssim":["GenericWork"],"id":"vx021g24n","accessControl_ssim":["2eb49ba6-b484-444c-80b9-3022fba4c01d"],"depositor_ssim":["niunn@ucmail.uc.edu"],"depositor_tesim":["niunn@ucmail.uc.edu"],"title_tesim":["Data of SysML Modeling Mistakes"],"date_uploaded_dtsi":"2019-06-16T03:04:36Z","date_modified_dtsi":"2019-06-30T19:50:49Z","isPartOf_ssim":["admin_set/default"],"on_behalf_of_ssim":[""],"doi_tesim":["doi:10.7945/sz4r-zx36"],"college_tesim":["Engineering and Applied Science"],"department_tesim":["- Computing Sciences \u0026 Informatics"],"creator_tesim":["Alenazi, Mounifah","Niu, Nan","Savolainen, Juha"],"publisher_tesim":["University of Cincinnati"],"description_tesim":["Data extraction results of a systematic mapping on the SysML modeling mistakes"],"license_tesim":["http://opendatacommons.org/licenses/dbcl/1.0/"],"date_created_tesim":["2019-06-15"],"thumbnail_path_ss":"/assets/work-ff055336041c3f7d310ad69109eda4a887b16ec501f35afc0a547c4adb97ee72.png","suppressed_bsi":false,"actionable_workflow_roles_ssim":["admin_set/default-default-depositing"],"workflow_state_name_ssim":["deposited"],"member_ids_ssim":["9w032432z","7w62f943t","cc08hg915"],"file_set_ids_ssim":["9w032432z","7w62f943t","cc08hg915"],"visibility_ssi":"open","admin_set_tesim":["Default Admin Set"],"sort_title_ssi":"DATA OF SYSML MODELING MISTAKES","human_readable_type_tesim":["Generic Work"],"read_access_group_ssim":["public"],"edit_access_group_ssim":["admin"],"edit_access_person_ssim":["niunn@ucmail.uc.edu"],"nesting_collection__pathnames_ssim":["vx021g24n"],"nesting_collection__deepest_nested_depth_isi":1,"_version_":1697103830649405440,"timestamp":"2021-04-15T10:58:55.565Z","score":0.00049999997},{"system_create_dtsi":"2018-05-31T22:38:06Z","system_modified_dtsi":"2019-06-06T15:02:59Z","has_model_ssim":["Dataset"],"id":"3f462575p","accessControl_ssim":["0cb134ae-8ab4-481d-8595-5782fca305da"],"hasRelatedMediaFragment_ssim":["9306sz60j"],"hasRelatedImage_ssim":["9306sz60j"],"depositor_ssim":["alenazmh@mail.uc.edu"],"depositor_tesim":["alenazmh@mail.uc.edu"],"title_tesim":["Subject Systems Dataset"],"date_uploaded_dtsi":"2018-05-31T22:38:03Z","date_modified_dtsi":"2019-05-23T18:41:58Z","isPartOf_ssim":["admin_set/default"],"hasEmbargo_ssim":["ac66ecaa-1a43-4180-b5b0-1f198c98744d"],"doi_tesim":["doi:10.7945/C2ZD6G"],"college_tesim":["Engineering and Applied Science"],"department_tesim":["Electrical engineering and Computer Science"],"creator_tesim":["Alenazi, Mounifah","Niu, Nan","Wang, Wentao","Savolainen Juha"],"publisher_tesim":["University of Cincinnati"],"language_tesim":["English"],"description_tesim":["Anti-Lock Braking Systems Obstacles.\r\nRPM obstacles."],"license_tesim":["http://rightsstatements.org/vocab/InC/1.0/"],"date_created_tesim":["2018-06"],"thumbnail_path_ss":"/assets/work-ff055336041c3f7d310ad69109eda4a887b16ec501f35afc0a547c4adb97ee72.png","suppressed_bsi":false,"actionable_workflow_roles_ssim":["admin_set/default-default-depositing"],"workflow_state_name_ssim":["deposited"],"member_ids_ssim":["pv63g062v","9306sz60j","4x51hj36x","j098zb41q","j9602099s"],"file_set_ids_ssim":["pv63g062v","9306sz60j","4x51hj36x","j098zb41q","j9602099s"],"visibility_ssi":"open","admin_set_tesim":["Default Admin Set"],"sort_title_ssi":"SUBJECT SYSTEMS DATASET","human_readable_type_tesim":["Dataset"],"read_access_group_ssim":["public"],"edit_access_person_ssim":["alenazmh@mail.uc.edu"],"embargo_history_ssim":["An active embargo was deactivated on 2018-06-05.  Its release date was 2018-06-06T00:00:00+00:00.  Visibility during embargo was restricted and intended visibility after embargo was open"],"nesting_collection__pathnames_ssim":["3f462575p"],"nesting_collection__deepest_nested_depth_isi":1,"_version_":1697081248020692992,"timestamp":"2021-04-15T04:59:59.092Z","score":0.00049999997}],"facets":[{"name":"human_readable_type_sim","items":[{"value":"Generic Work","hits":2,"label":"Generic Work"},{"value":"Article","hits":1,"label":"Article"},{"value":"Collection","hits":1,"label":"Collection"},{"value":"Dataset","hits":1,"label":"Dataset"}],"label":"Human Readable Type Sim"},{"name":"creator_sim","items":[{"value":"Alenazi, Mounifah","hits":5,"label":"Alenazi, Mounifah"},{"value":"Niu, Nan","hits":4,"label":"Niu, Nan"},{"value":"Savolainen, Juha","hits":2,"label":"Savolainen, Juha"},{"value":"Savolainen Juha","hits":1,"label":"Savolainen Juha"},{"value":"Wang, Wentao","hits":1,"label":"Wang, Wentao"}],"label":"Creator Sim"},{"name":"subject_sim","items":[{"value":"Model-Driven Engineering","hits":1,"label":"Model-Driven Engineering"},{"value":"Requirements Engineering","hits":1,"label":"Requirements Engineering"},{"value":"Software Engineering","hits":1,"label":"Software Engineering"},{"value":"defect detection","hits":1,"label":"defect detection"},{"value":"model checking","hits":1,"label":"model checking"},{"value":"model-driven engineering","hits":1,"label":"model-driven engineering"}],"label":"Subject Sim"},{"name":"college_sim","items":[{"value":"Engineering and Applied Science","hits":4,"label":"Engineering and Applied Science"}],"label":"College Sim"},{"name":"department_sim","items":[{"value":"- Computing Sciences \u0026 Informatics","hits":3,"label":"- Computing Sciences \u0026 Informatics"},{"value":"Electrical engineering and Computer Science","hits":1,"label":"Electrical engineering and Computer Science"}],"label":"Department Sim"},{"name":"language_sim","items":[{"value":"English","hits":2,"label":"English"}],"label":"Language Sim"},{"name":"publisher_sim","items":[{"value":"University of Cincinnati","hits":4,"label":"University of Cincinnati"}],"label":"Publisher Sim"},{"name":"date_created_sim","items":[{"value":"2018-06","hits":1,"label":"2018-06"},{"value":"2019-06-15","hits":1,"label":"2019-06-15"},{"value":"2019-09-02","hits":1,"label":"2019-09-02"},{"value":"2020-05-22","hits":1,"label":"2020-05-22"}],"label":"Date Created Sim"},{"name":"member_of_collection_ids_ssim","items":[],"label":"Member Of Collection Ids Ssim"},{"name":"generic_type_sim","items":[{"value":"Work","hits":4,"label":"Work"},{"value":"Collection","hits":1,"label":"Collection"}],"label":"Generic Type Sim"}],"pages":{"current_page":1,"next_page":null,"prev_page":null,"total_pages":1,"limit_value":10,"offset_value":0,"total_count":5,"first_page?":true,"last_page?":true}}}