Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning-Reference-Cited by-同舟云学术

Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings
language:
Short-container-title:

Author:

Shrestha Sohil Lal¹

Affiliation:

1. University of Texas at Arlington

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377812.3382163

Reference17 articles.

1. Martin Abadi et al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. (2015). http://tensorflow.org/Software_available_from_tensorflow.org. Martin Abadi et al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. (2015). http://tensorflow.org/Software_available_from_tensorflow.org.

2. François Chollet et al. 2015. Keras. https://keras.io. (2015). François Chollet et al. 2015. Keras. https://keras.io. (2015).

3. Automatically finding bugs in commercial cyber-physical system development tool chains

4. Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ScoutSL: An Open-Source Simulink Search Engine;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. PhyFu: Fuzzing Modern Physics Simulation Engines;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

4. The integration of machine learning into automated test generation: A systematic mapping study;Software Testing, Verification and Reliability;2023-05-02

5. Novel Static Multi-Layer Forest Approach and Its Applications;Mathematics;2021-10-20