Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A survey of algorithms for black-box safety validation of cyber-physical systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …
critical applications, but require rigorous testing before deployment. The complexity of these …
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
C Menghi, S Nejati, L Briand, YI Parache - Proceedings of the ACM/IEEE …, 2020 - dl.acm.org
Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …
(CPS) since these models are not often amenable to static and symbolic testing and …
[PDF][PDF] Arch-comp 2023 category report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst… - … Workshop on Applied …, 2023 - research.abo.fi
This report presents the results from the 2023 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
the falsification of temporal logic specifications over Cyber-Physical Systems. We describe …
Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink
Research on novel tools for model-based development differs from a mere engineering task
by not only develo** a new tool, but by providing some form of evidence that it is effective …
by not only develo** a new tool, but by providing some form of evidence that it is effective …
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …
systems with the advantage of scalability and feasibility in practice than exhaustive …
[PDF][PDF] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé… - ARCH@ ADHS, 2021 - easychair.org
This report presents the results from the 2021 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Falsification of cyber-physical systems with robustness-guided black-box checking
M Waga - Proceedings of the 23rd International Conference on …, 2020 - dl.acm.org
For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
[PDF][PDF] Arch-comp 2020 category report: Falsification
This report presents the results from the 2020 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
A Boll, F Brokhausen, T Amorim, T Kehrer… - Software and Systems …, 2021 - Springer
Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …
development into industrial practice. Numerous companies create and maintain Simulink …
[PDF][PDF] Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica… - Proceedings of 9th …, 2022 - easychair.org
This report presents the results from the 2022 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …