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 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bridging Dimensions: Confident Reachability for High-Dimensional Controllers;Lecture Notes in Computer Science;2024-09-11

2. Reinforcement Learning Informed Evolutionary Search for Autonomous Systems Testing;ACM Transactions on Software Engineering and Methodology;2024-07-27

3. Falsification using Reachability of Surrogate Koopman Models;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

4. Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines;Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning;2024-04-20

5. Operational Modeling of Temporal Intervals for Intelligent Systems;Communications in Computer and Information Science;2024