Expérience esthétique et imaginaire scénique : usages de la captation dans la lecture du texte théâtral

Autor: François Le Goff, Julien Botella

Quelle place occupe la captation théâtrale dans l’enseignement du genre théâtral ? Quels sont ses usages et ses fonctions ? C’est à ces questions que la contribution se propose de répondre en retenant le point de vue du spectateur qui vit,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa391fcdaec3d72251059e11178e8a63
http://journals.openedition.org/pratiques/11529

Complementary test selection criteria for model-based testing of security components

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 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

Achieving SCA Conformance Testing with Model-Based Testing

Autor: Bruno Legeard, Julien Botella, Fabien Peureux, Jean-Philippe Delahaye, Eddie Jaffuel

Publikováno v: Journal of Signal Processing Systems. 83:113-128

The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fed77d147fa9d2d13a9c9e79f1adcae0
https://doi.org/10.1007/s11265-015-1089-y

Risk-Based Vulnerability Testing Using Security Test Patterns

Autor: Alexandre Vernotte, Fabien Peureux, Bruno Legeard, Julien Botella

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301
ISoLA (2)

This paper introduces an original security testing approach guided by risk assessment, by means of risk coverage, to perform and automate vulnerability testing for Web applications. This approach, called Risk-Based Vulnerability Testing, adapts Model

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fdb03e5e2f23fc53b0b384ec5289470e
https://doi.org/10.1007/978-3-662-45231-8_24

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool

Autor: Julien Botella, Safouan Taha, Yves Ledru, Kalou Cabrera Castillos, German Vega, Taha Triki, Frédéric Dadeau

Publikováno v: ICST
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.NC, ⟨10.1109/ICST.2013.60⟩
ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track
ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431-438

International audience; In this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies insi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1dbf80882c94bb79c1e01bf9eef05c46
https://doi.org/10.1109/icst.2013.60