Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Fabrice Bouquet"'
Autor:
Mathieu Briland, Fabrice Bouquet
Publikováno v:
Journal of Universal Computer Science, Vol 27, Iss 7, Pp 774-792 (2021)
False data injection is an attack in which an attacker injects fabricated data into a system with the objective to change the behaviour and the decision-making of the system. Many industrial data-based devices are vulnerable to such attacks, this wor
Externí odkaz:
https://doaj.org/article/a9e24a79c93542c1bb97b9a3183f8aea
Publikováno v:
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c7646bd4bef804687219a0ed96fb26d
https://doi.org/10.1109/icstw58534.2023.00026
https://doi.org/10.1109/icstw58534.2023.00026
Publikováno v:
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61903b4827a77121cf8d23bd9eb7cdf0
https://doi.org/10.1109/icstw55395.2022.00036
https://doi.org/10.1109/icstw55395.2022.00036
Autor:
Mathieu Briland, Fabrice Bouquet
Publikováno v:
SERP4IoT
Internet of Things (IoT) is now omnipresent in all aspects of life and provides a large number of potentially critical services. For this, Internet of Things relies on the data collected by objects. Data integrity is therefore essential. Unfortunatel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6edfcec946900efc21b453ec6783078
http://arxiv.org/abs/2104.09294
http://arxiv.org/abs/2104.09294
Publikováno v:
AITest
Testing IT systems has become a major bottleneck for many companies. Besides the growing complexity of such systems, shorter release cycles and increasing quality requirements have led to increased verification and validation costs. However, analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f1ddd4b4f3b9ac6e0d8b598568ae441
https://doi.org/10.1109/aitest49225.2020.00020
https://doi.org/10.1109/aitest49225.2020.00020
Publikováno v:
Journal of Systems and Software
Journal of Systems and Software, 2018, 136, pp.209-222
Journal of Systems and Software, 2018, 136, pp.209-222
International audience; We summarize several contributions related to the PHP Realistic Annotation and SPEcification Language (Praspel). This language extends PHP programs with annotations for the formal specification of the behavior of their functio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e6725fc30112de3ddbdf2b86b0be29a
https://doi.org/10.1016/j.jss.2017.06.017
https://doi.org/10.1016/j.jss.2017.06.017
Publikováno v:
Pratiques et innovations à l'ère du numérique en formation à distance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d38957731bdbc7b406394ba4030b3bfb
https://doi.org/10.2307/j.ctvq4bz91.16
https://doi.org/10.2307/j.ctvq4bz91.16
The Internet of Things (IoT) is nowadays globally a mean of innovation and transformation for many companies. Applications extend to a large number of domains, such as smart cities, smart homes, and health care. The Gartner Group estimates an increas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bdf1673054f2e980223c43dfcf9d535
https://doi.org/10.1016/bs.adcom.2017.11.002
https://doi.org/10.1016/bs.adcom.2017.11.002
Publikováno v:
Model-Based Testing for Embedded Systems
What the experts have to say about Model-Based Testing for Embedded Systems: "This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cb168694420e509c6b1a4356e24d97d
https://doi.org/10.1201/b11321
https://doi.org/10.1201/b11321
Publikováno v:
Software Testing, Verification and Reliability. 24:499-531
This paper presents a framework for UML/OCL model test generation. This framework is based on three parts. The first part is the transformation from a UML/OCL model into a Satisfiability Modulo Theories SMT instance. The metamodel associated with the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72859a6f9210810bac7e9a0a149946af
https://doi.org/10.1002/stvr.1537
https://doi.org/10.1002/stvr.1537