Index Catalog // Scholar@UC

Data of Classifying I/O Variables via Machine Learning

Type:: Generic Work
Description/Abstract:: We provide the source files (user manuals of SWMM, SWAT, and MODFLOW), as well as our manually-labeled I/O variables.
Creator/Author:: Lin, Xuanyi; Niu, Nan, and Peng, Zedong
Submitter:: Nan Niu
Date Uploaded:: 01/31/2022
Date Modified:: 02/01/2022
License:: Open Data Commons Open Database License (ODbL)

Data of SWMM I/O Associations

Type:: Generic Work
Description/Abstract:: SWMM I/O variables, I/O associations from the user manual, and I/O associations from the user forum (Open SWMM).
Creator/Author:: Niu, Nan; Lin, Xuanyi, and Peng, Zedong
Submitter:: Nan Niu
Date Uploaded:: 12/12/2020
Date Modified:: 12/12/2020
Date Created:: 2020-12-12
License:: Open Data Commons Open Database License (ODbL)

Code for SWMM's metamorphic testing

Type:: Generic Work
Description/Abstract:: Source code used to conduct metamorphic testing of SWMM
Creator/Author:: Niu, Nan and Lin, Xuanyi
Submitter:: Nan Niu
Date Uploaded:: 09/06/2020
Date Modified:: 09/06/2020
License:: Open Data Commons Open Database License (ODbL)

Data of SysML SMD Environment Assumptions

Type:: Generic Work
Description/Abstract:: Environment assumptions elicited from human modelers for a SysML state machine diagram (SMD) in the context of satisfaction of a safety requirement.
Creator/Author:: Alenazi, Mounifah and Niu, Nan
Submitter:: Nan Niu
Date Uploaded:: 05/22/2020
Date Modified:: 05/22/2020
Date Created:: 2020-05-22
License:: Open Data Commons Open Database License (ODbL)

Data of SWMM Unit Tests

Type:: Generic Work
Description/Abstract:: Mapping of the SWMM unit tests to the user manual and the codebase
Creator/Author:: Niu, Nan; Lin, Xuanyi, and Peng, Zedong
Submitter:: Nan Niu
Date Uploaded:: 12/11/2019
Date Modified:: 01/24/2022
License:: Open Data Commons Open Database License (ODbL)

A Process Mining Approach to Improving Defect Detection of SysML Models

Type:: Article
Description/Abstract:: 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.
Creator/Author:: Alenazi, Mounifah; Niu, Nan, and Savolainen, Juha
Submitter:: Nan Niu
Date Uploaded:: 09/02/2019
Date Modified:: 09/05/2019
Date Created:: 2019-09-02
License:: Open Data Commons Attribution License (ODC-By)

Data of SysML Modeling Mistakes

Type:: Generic Work
Description/Abstract:: Data extraction results of a systematic mapping on the SysML modeling mistakes
Creator/Author:: Alenazi, Mounifah; Niu, Nan, and Savolainen, Juha
Submitter:: Nan Niu
Date Uploaded:: 06/16/2019
Date Modified:: 06/30/2019
Date Created:: 2019-06-15
License:: Open Data Commons Open Database License (ODbL)

Data of Software Engineering Interviews and Video Resumes

Type:: Generic Work
Description/Abstract:: Software engineering candidate interviews and video resumes from YouTube; as of June 2019, there are 180 data points in total
Creator/Author:: Niu, Nan and Gudaparthi, Hemanth
Submitter:: Nan Niu
Date Uploaded:: 06/09/2019
Date Modified:: 06/09/2019
Date Created:: 2019-06-09
License:: Open Data Commons Open Database License (ODbL)

Study Materials of Complementarity in Requirements Tracing

Type:: Generic Work
Description/Abstract:: Information of complementarity analysis of tagging-to-trace and learning-to-trace practices.
Creator/Author:: Niu, Nan and Wen Tao Wang
Submitter:: Nan Niu
Date Uploaded:: 02/16/2017
Date Modified:: 06/29/2017
License:: Attribution 4.0 International

Data of Classifying I/O Variables via Machine Learning

Data of SWMM I/O Associations

Code for SWMM's metamorphic testing

Data of SysML SMD Environment Assumptions

Data of SWMM Unit Tests

A Process Mining Approach to Improving Defect Detection of SysML Models

Data of SysML Modeling Mistakes

Data of Software Engineering Interviews and Video Resumes

Study Materials of Complementarity in Requirements Tracing

Limiter votre recherche

Type of Work

Creator/Author

Subject

College

Language

Publisher

Date Created

Recherche

Résultats de recherche

Limiter votre recherche