In this work we present a mechanism that allows finding errors in real-time systems due to misinterpretations of temporal properties specified by a designer ...

PDF | On Nov 15, 2021, Ariel Gonzalez and others published Error Finding in Real-Time Systems using Mutants of Temporal Properties | Find, read and cite all ...

Abstract—In this work we present a mechanism that allows finding errors in real-time systems due to misinterpretations of temporal properties specified by a ...

Secondly, by introducing mutations to quantitative temporal properties we are able to find errors in RT-DEVS models and their implementations. A case study from ...

Sep 27, 2024 · Secondly, by introducing mutations to quantitative temporal properties we are able to find errors in RT-DEVS models and their implementations.

No information is available for this page. · Learn why

Luna, Error finding in real-time systems using mutants of temporal properties, in: 2021 40th International Conference of the Chilean Computer Science Society.

In this work we present a mechanism that allows finding errors in real-time systems due to misinterpretations of temporal properties specified by a designer.

Model checking has been used traditionally for finding violations of temporal properties. Recently, testing or fuzzing approaches have also been applied to ...

PDF | For real-time systems, correct system functionality depends on logical as well as on temporal correctness. Static analysis alone is not sufficient.