Models and Metadata

If you are also interested in open science for Simulink, please answer our 5-10 min survey, to help you get Simulink models you need: https://forms.gle/as3Jww5LSEE5pSYW8 <br> <br> Model files, used in research papers, are located in sub directories.<br> Each sub directoy corresponds to one research paper.<br> A key to the number of the sub directory is listed below.<br> Each number also corresponds to the line number in the raw_data.xlsx file with the raw data.<br> <br> <br> 184 Automated Test Suite Generation for Time-Continuous Simulink Models<br> 224 Component and Connector Views in Practice: An Experience Report<br> 350 Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models<br> 409 From Design Contracts to Component Requirements Verification<br> 451 Hybrid Automata: From Verification to Implementation<br> 594 Multi-Objective Black-Box Test Case Selection for Cost-Effectively Testing Simulation Models<br> 662 Pareto efficient multi-objective black-box test case selection for simulation-based testing<br> 722 Quantifying Conformance Using the Skorokhod Metric<br> 769 Search-based automated testing of continuous controllers: Framework, tool support, and case studies<br> 882 Towards Commoditizing Simulations of System Models Using Recurrent Neural Networks<br> <br> <br> # Papers referenced as having provided models<br> <br> Below is a list of papers referencing other papers.<br> Each referenced paper is supposed to have provided model files for the referencing paper.<br> Papers starting a line are referencing, tabbed papers are being referenced.<br> <br> https://doi.org/10.1016/j.jss.2016.07.001<br> https://doi.org/10.1016/j.jss.2007.05.039<br> https://doi.org/10.1109/TSE.2017.2694423<br> https://doi.org/10.1016/j.ic.2014.01.014<br> https://doi.org/10.1145/3005446<br> https://doi.org/10.1109/MDT.2012.2205998<br> https://doi.org/10.1145/3180155.3180231<br> https://doi.org/10.1145/3196478.3196484<br> https://doi.org/10.1007/s10270-015-0477-x<br> https://doi.org/10.1007/978-3-319-12241-0_8<br> http://www.sciencedirect.com/science/article/pii/S0950584918301721<br> https://doi.org/10.1145/3106237.3117770<br> https://doi.org/10.1145/2884781.2884797<br> https://doi.org/10.29007/x87p<br> https://doi.org/10.1016/j.jss.2007.05.039<br> https://doi.org/10.1007/s10703-016-0261-8<br> https://doi.org/10.1145/2562059.2562140<br> https://doi.org/10.1145/2562059.2562139<br> https://doi.org/10.1109/ISMVL.2015.17<br> https://doi.org/10.1007/3-540-44804-7_3<br> https://doi.org/10.3233/JCS-2004-123-403<br> https://doi.org/10.1016/0020-0190(90)90107-9<br> https://doi.org/10.1145/2889160.2889162<br> https://doi.org/10.1145/2786805.2786818<br> https://doi.org/10.1145/2884781.2884797<br> https://doi.org/10.3233/FI-2016-1444<br> https://doi.org/10.1007/978-3-642-39799-8_21<br> https://doi.org/10.1109/PDP.2014.32<br> https://doi.org/10.1007/s10703-009-0076-y<br> https://doi.org/10.1007/s10703-013-0195-3<br> https://doi.org/10.1007/978-3-319-29778-1_8<br> https://doi.org/10.1109/ISSRE.2012.35<br> https://doi.org/10.9790/2834-0637982<br> https://doi.org/10.1109/DSD.2016.37<br> https://doi.org/10.1109/ISMICT.2016.7498881<br> https://doi.org/10.1109/DSD.2015.11<br> https://doi.org/10.1109/WICSA.2016.23<br> https://doi.org/10.1109/ICSE.2012.6227161<br> https://doi.org/10.1016/j.scico.2015.07.005<br> https://doi.org/10.1109/PDP.2015.102<br> https://doi.org/10.13140/2.1.3463.7608<br> https://doi.org/10.1007/978-3-642-24559-6_21<br> https://doi.org/10.1145/3170500<br> https://doi.org/10.29007/23pm<br> Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. 2014. Benchmarks for model transformations and conformance checking. In Proceedings of the 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH’14).<br> https://doi.org/10.1109/TCAD.2015.2421907<br> https://doi.org/10.1007/978-3-642-14295-6_17<br> https://doi.org/10.1007/978-3-642-19835-9_21<br> https://doi.org/10.1109/TEC.2014.2362716<br> <br> <br> https://doi.org/10.1016/j.jss.2007.05.039 is listed twice<br> https://doi.org/10.1145/2884781.2884797 is listed twice # Overview This data set provides raw data and Simulink models of our study "On the Replicability of Experimental Tool Evaluations in Model-Based Development". <br> In this data set, we list all Simulink models we found in other papers. We also give the raw data of the literature review.<br> <br> <br> # Directory key: