Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Dimitri Prestat"'
Publikováno v:
Empirical Software Engineering. 27
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0936be1c575debb6e8f73496f6fbd645
https://doi.org/10.1007/s10664-022-10212-8
https://doi.org/10.1007/s10664-022-10212-8
Publikováno v:
Lecture Notes in Computer Science
31th IFIP International Conference on Testing Software and Systems (ICTSS)
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Testing Software and Systems ISBN: 9783030312794
ICTSS
31th IFIP International Conference on Testing Software and Systems (ICTSS)
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France
Testing Software and Systems ISBN: 9783030312794
ICTSS
International audience; The problem of generating tests detecting all logical and timing faults which can occur in real-time systems is challenging; this is because the number of (timing) faults is potentially too big or infinite. As a result, it mig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45cd087481c33887d23a9ddf1feb823b
https://hal.inria.fr/hal-02341856
https://hal.inria.fr/hal-02341856
Publikováno v:
QRS
Faults in safety critical real-time systems are not only logical, but they can correspond to violations of timing constraints. They must be detected to avoid system failures with adverse consequences. Developing efficient fault detection techniques f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d52b4a626562e008d60cf2a387bf569b
https://doi.org/10.1109/qrs.2019.00049
https://doi.org/10.1109/qrs.2019.00049