Evaluating model testing and model checking for finding requirements violations in Simulink models-Reference-Cited by-同舟云学术

Evaluating model testing and model checking for finding requirements violations in Simulink models

Published:2019-08-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Nejati Shiva¹,Gaaloul Khouloud¹,Menghi Claudio¹,Briand Lionel C.¹,Foster Stephen²,Wolfe David²

Affiliation:

1. University of Luxembourg, Luxembourg

2. QRA, Canada

Funder

European Research Council under the European Union?s Horizon 2020 research and innovation programme

Fonds National de la Recherche Luxembourg

Horizon 2020

Publisher

ACM

Link

Reference39 articles.

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

1. Requirements-Driven Slicing of Simulink Models using LLMs;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24

3. Stress Testing Control Loops in Cyber-physical Systems;ACM Transactions on Software Engineering and Methodology;2023-12-21

5. Testing Abstractions for Cyber-Physical Control Systems;ACM Transactions on Software Engineering and Methodology;2023-11-23