Approximation-refinement testing of compute-intensive cyber-physical models-Reference-Cited by-同舟云学术

Approximation-refinement testing of compute-intensive cyber-physical models

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

Author:

Menghi Claudio¹,Nejati Shiva²,Briand Lionel²,Parache Yago Isasi³

Affiliation:

1. University of Luxembourg, Luxembourg, Luxembourg

2. University of Ottawa, Ottawa, Canada and University of Luxembourg, Luxembourg, Luxembourg

3. Luxspace Sàrl, Luxembourg, Luxembourg

Funder

University of Luxembourg

Canada Research Chair programme

H2020 European Research Council

Publisher

ACM

Link

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

Reference102 articles.

1. 2019. ARIsTEO. https://github.com/SNTSVV/ARIsTEO 2019. ARIsTEO. https://github.com/SNTSVV/ARIsTEO

2. 2019. Cyber-Physical Systems and Internet-of-Things Week. http://cpslab.cs.mcgill.ca/cpsiotweek2019/ 2019. Cyber-Physical Systems and Internet-of-Things Week. http://cpslab.cs.mcgill.ca/cpsiotweek2019/

3. 2019. Deep Learning Toolbox. https://it.mathworks.com/products/deep-learning.html 2019. Deep Learning Toolbox. https://it.mathworks.com/products/deep-learning.html

4. 2019. Luxspace. https://luxspace.lu/ 2019. Luxspace. https://luxspace.lu/

5. 2019. Mathworks. https://mathworks.com. Accessed: 2019-08-07. 2019. Mathworks. https://mathworks.com. Accessed: 2019-08-07.

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

1. Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions;ACM Transactions on Software Engineering and Methodology;2023-12-23

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

3. Test Generation Strategies for Building Failure Models and Explaining Spurious Failures;ACM Transactions on Software Engineering and Methodology;2023-12-21

4. Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models;Information and Software Technology;2023-11