Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Elizabeta Fourneret"'
Publikováno v:
Software & Systems Modeling
Software & Systems Modeling, 2019, 18 (2), pp.865-888
Software & Systems Modeling, 2019, 18 (2), pp.865-888
International audience; This article describes a new property- and model-based testing approach using UML/OCL models, driven by temporal property patterns and a tool for assisting the temporal properties formalization. The patterns are expressed in t
Autor:
Elizabeta Fourneret, Pierluigi Pierini, Gunnar Widforss, Dragos Truscan, Andrey Sadovykh, Alexandra Espinosa, Wasif Afzal, Hugo Bruneliere, Adnan Ashraf, Abel Gómez, Alessandra Bagnato
Publikováno v:
Software Technology: Methods and Tools (TOOLS 2019)
Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.393-405, ⟨10.1007/978-3-030-29852-4_33⟩
Software Technology: Methods and Tools-51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools ISBN: 9783030298517
TOOLS
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Technology: Methods and Tools
Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.393-405, ⟨10.1007/978-3-030-29852-4_33⟩
Software Technology: Methods and Tools-51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools ISBN: 9783030298517
TOOLS
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Technology: Methods and Tools
International audience; MegaM@Rt 2 Project is a major European effort towards the model-driven engineering of complex Cyber-Physical systems combined with runtime analysis. Both areas are dealt within the same methodology to enjoy the mutual benefits
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3850275f6f154bd0ba43d6b26ddfdd56
https://hal.science/hal-02177567
https://hal.science/hal-02177567
Autor:
Bruno Legeard, Florence Schadle, Frédéric Dadeau, Elizabeta Fourneret, Julien Botella, Jean-Francois Capuron
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (4), pp.425-448. ⟨10.1007/s10009-018-0489-2⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (4), pp.425-448. ⟨10.1007/s10009-018-0489-2⟩
International audience; This article presents a successful industrial application of a model-based testing approach to the validation of security components. We present a smart combination of three test selection criteria applied to testing security
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a039535ee3282738df5ff2eb00ab02e
https://hal.archives-ouvertes.fr/hal-02472576/document
https://hal.archives-ouvertes.fr/hal-02472576/document
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:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
Lecture Notes in Computer Science (LNCS)-ISoLA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
ISoLA (2)
Lecture Notes in Computer Science (LNCS)-ISoLA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
The Internet of Things (IoT) has increased its footprint becoming globally a ‘must have’ for today’s most innovative companies. Applications extend to multitude of domains, such as smart cities, healthcare, logistics, manufacturing, etc. Gartne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a341ab8f603e6165a2e6a465b2abb91
https://doi.org/10.1007/978-3-319-47169-3_55
https://doi.org/10.1007/978-3-319-47169-3_55
Autor:
Mark Utting, Elizabeta Fourneret, Alexandre Vernotte, Fabrice Bouquet, Fabien Peureux, Bruno Legeard
This chapter gives an overview of the field of model-based testing (MBT), particularly the recent advances in the last decade. It gives a summary of the MBT process, the modeling languages that are currently used by the various communities who practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7498160ccedb2dd535ecd2d0c677a27
https://doi.org/10.1016/bs.adcom.2015.11.004
https://doi.org/10.1016/bs.adcom.2015.11.004
Autor:
Michael Felderer, Elizabeta Fourneret
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (3), pp.305-319
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (3), pp.305-319
International audience; The openness of modern IT systems and their permanent change make it challenging to keep these systems secure. A combination of regression and security testing called security regression testing, which ensures that changes mad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0b80be0ec43a8ca4cd50d2c4901282b
https://hal.archives-ouvertes.fr/hal-01226621
https://hal.archives-ouvertes.fr/hal-01226621
Autor:
Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu
Security is an important quality aspect of modern open software systems. However, it is challenging to keep such systems secure because of evolution. Security evolution can only be managed adequately if it is considered for all artifacts throughout t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::352542153bd029fe0ffbd0cad1b86c76
https://doi.org/10.4018/978-1-4666-8473-7.ch074
https://doi.org/10.4018/978-1-4666-8473-7.ch074
Publikováno v:
Software Security and Reliability (SERE)
Software Security and Reliability (SERE), Jun 2014, San Francisco, CA, France. pp.19, ⟨10.1109/SERE.2014.28⟩
SERE
International Conference on Software Security and Reliability
International Conference on Software Security and Reliability, Jun 2014, San Francisco (CA), United States
Software Security and Reliability (SERE), Jun 2014, San Francisco, CA, France. pp.19, ⟨10.1109/SERE.2014.28⟩
SERE
International Conference on Software Security and Reliability
International Conference on Software Security and Reliability, Jun 2014, San Francisco (CA), United States
International audience; In this paper we introduce SeTGaM, a Model-Based Regression Testing (MBRT) approach based on UML/OCL behavioral models. SeTGaM is a test selection and classification approach that also generates new tests to cover new function
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fc425ce7f6654ee830f49c39cfcaa77
https://hal.inria.fr/hal-01093493
https://hal.inria.fr/hal-01093493
Autor:
Michael Felderer, Riccardo Scandariato, Basel Katt, Federica Paci, Thein Than Tun, Bjørnar Solhaug, Jan Jürjens, Dries Vanoverberghe, Philipp Kalb, Matthias Gander, Koen Yskout, Ruth Breu, Frank Piessens, Martín Ochoa, Elizabeta Fourneret, Le Minh Sang Tran
Security is an important quality aspect of modern open software systems. However, it is challenging to keep such systems secure because of evolution. Security evolution can only be managed adequately if it is considered for all artifacts throughout t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::386be557391dab9cfe07a8e7c3c98126
http://oro.open.ac.uk/41983/1/41983.pdf
http://oro.open.ac.uk/41983/1/41983.pdf