Detecting Simulink compiler bugs via controllable zombie blocks mutation-Reference-Cited by-同舟云学术

Detecting Simulink compiler bugs via controllable zombie blocks mutation

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Guo Shikai¹,Jiang He²,Xu Zhihao¹,Li Xiaochen²,Ren Zhilei²,Zhou Zhide²,Chen Rong¹

Affiliation:

1. Dalian Maritime University, China

2. Dalian University of Technology, China

Funder

National Natural Science Foundation of China

Fundamental Research Funds for the Central Universities

Publisher

ACM

Link

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

Reference51 articles.

1. MathWorks. https://ww2.mathworks.cn/help/slcoverage/ug/types-of-model-coverage.html MathWorks. https://ww2.mathworks.cn/help/slcoverage/ug/types-of-model-coverage.html

2. MathWorks. https://ww2.mathworks.cn/en/products/simulink.html MathWorks. https://ww2.mathworks.cn/en/products/simulink.html

3. MathWorks. https://www.mathworks.com/support/bugreports/ MathWorks. https://www.mathworks.com/support/bugreports/

4. MathWorks. https://ww2.mathworks.cn/en/ MathWorks. https://ww2.mathworks.cn/en/

5. Analysis of Safety-Critical Computer Failures in Medical Devices

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

1. EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool;Proceedings of the XXXVII Brazilian Symposium on Software Engineering;2023-09-25

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