Výsledky vyhledávání - "Mickaël Delahaye"

Specify and measure, cover and reveal: A unified framework for automated test generation

Autor: Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye

Publikováno v: Science of Computer Programming. 207:102641

Automatic test input generation (ATG) is a major topic in software engineering, analysis and security. In this paper, we bridge the gap between state-of-the-art white-box ATG techniques, especially Dynamic Symbolic Execution, and the diversity of tes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1bba4433941a7d677d7a1bdc9760320e
https://doi.org/10.1016/j.scico.2021.102641

Zobrazit plný text záznamu

Selecting a software engineering tool: lessons learnt from mutation analysis

Autor: Lydie du Bousquet, Mickaël Delahaye

Publikováno v: Software: Practice and Experience. 45:875-891

Software developers employ many tools in every step of the development. As automation progresses, tools take a more and more important place. A common and difficult problem is choosing a tool among every tool for a given task.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::074d7cc46500f6c04746b3dad48ba2ea
https://doi.org/10.1002/spe.2312

Zobrazit plný text záznamu

Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTest

Autor: Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto, Mickaël Delahaye

Publikováno v: Approches Formelles pour l'Assistance au Développement de Logiciels-AFADL
Approches Formelles pour l'Assistance au Développement de Logiciels-AFADL, Jun 2017, Montpellier, France
HAL

Cet article court synthétise les deux articles suivants: [1] Generic and Effective Specification of Structural Test Objectives[2] Taming Coverage Criteria Heterogeneity with LTest; International audience; Contexte. Automatiser le test en boîte blan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bc73f5b145515a6cc05f6a7d5a832b08
https://cea.hal.science/cea-01835544/file/main.pdf

Zobrazit plný text záznamu

Taming Coverage Criteria Heterogeneity with LTest

Autor: Michaël Marcozzi, Nikolai Kosmatov, Sébastien Bardin, Virgile Prevosto, Mickaël Delahaye

Publikováno v: 2017 ICST : 10th IEEE International Conference on Software Testing, Verification and Validation
2017 ICST : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. pp.500-507, ⟨10.1109/ICST.2017.57⟩
ICST
2017 ICST : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. Institute of Electrical and Electronics Engineers Inc., pp.500-507, 2017, 〈10.1109/ICST.2017.57〉

Conference of 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 ; Conference Date: 13 March 2017 Through 17 March 2017; Conference Code:127845; International audience; Automated white-box testing is a majo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4537430c6a479b14b76be2d57b731835
https://hal-cea.archives-ouvertes.fr/cea-01808788

Zobrazit plný text záznamu

Applying a Pairwise Coverage Criterion to Scenario-Based Testing

Autor: L. du Bousquet, Mickaël Delahaye, Catherine Oriat

Publikováno v: Fifth International Workshop on Combinatorial Testing (IWCT 2016)
Fifth International Workshop on Combinatorial Testing (IWCT 2016), Apr 2016, Chicago, United States
ICST Workshops

Some scenario-based testing approaches propose to express a test suite as a regular expression (called scenario or pattern). It specifies a set of valid sequences of operations in a abstract way. When the regular expression is "unfold", test sequence

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3f882dcd8b1e5048fec9d2bb1cf07be
https://hal.univ-grenoble-alpes.fr/hal-01415860

Zobrazit plný text záznamu

Sound and Quasi-Complete Detection of Infeasible Test Requirements

Autor: Yves Le Traon, Robin David, Jean-Yves Marion, Sébastien Bardin, Mickaël Delahaye, Mike Papadakis, Nikolai Kosmatov

Publikováno v: 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). (2015).
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)
ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation
ICST 2015-IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
ICST

Conference Code:112251; International audience; In software testing, coverage criteria specify the requirements to be covered by the test cases. However, in practice such criteria are limited due to the well-known infeasibility problem, which concern

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7851fe9cd5f2c4afe71fce71a6e3a6a
http://orbilu.uni.lu/handle/10993/20291

Zobrazit plný text záznamu

Infeasible path generalization in dynamic symbolic execution

Autor: Arnaud Gotlieb, Mickaël Delahaye, Bernard Botella

Publikováno v: Information and Software Technology
Information and Software Technology, 2015, 58, pp.403-418. ⟨10.1016/j.infsof.2014.07.012⟩
Information and Software Technology, Elsevier, 2015, 58, pp.403-418. ⟨10.1016/j.infsof.2014.07.012⟩

International audience; Context: Automatic code-based test input generation aims at generating a test suite ensuring good code coverage. Dynamic Symbolic Execution (DSE) recently emerged as a strong code-based testing technique to increase coverage b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e657182dfebc8ed456f2a8bb5d00b4b
https://cea.hal.science/cea-01845197

Zobrazit plný text záznamu

An all-in-one toolkit for automated white-box testing

Autor: Nikolai Kosmatov, Mickaël Delahaye, Sébastien Bardin, Omar Chebaro

Publikováno v: Tests and Proofs. TAP 2014. Lecture Notes in Computer Science
Tests and Proofs. TAP 2014. Lecture Notes in Computer Science, Jul 2014, York, United Kingdom. pp.53-60, ⟨10.1007/978-3-319-09099-3_4⟩
Tests and Proofs ISBN: 9783319090986
TAP@STAF

Conference of 8th International Conference on Tests and Proofs, TAP 2014, Held as Part of the Software Technologies: Applications and Foundations, STAF 2014 ; Conference Date: 24 July 2014 Through 25 July 2014; Conference Code:106534; International a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::460aaecfaa9ffd48f14c69d74a1c1e4d
https://hal-cea.archives-ouvertes.fr/cea-01834983

Zobrazit plný text záznamu

Fault localization in embedded software based on a single cyclic trace

Autor: Yliès Falcone, Mickaël Delahaye, Azzeddine Amiar, Lydie du Bousquet

Publikováno v: ISSRE

Locating faults in embedded software, especially in microcontrollers, is still difficult. Quite recently, it became possible to recover execution traces from microcontrollers using specific hardware probes. However, the collected traces contain a hug

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4b4456af36fac2217da327d9ab9fe2c9
https://doi.org/10.1109/issre.2013.6698914

Zobrazit plný text záznamu

A Late Treatment of C Precondition in Dynamic Symbolic Execution

Autor: Mickaël Delahaye, Nikolai Kosmatov

Publikováno v: CSTVA 2013-5th International Workshop on Constraints in Software Testing, Verification, and Analysis
CSTVA 2013-5th International Workshop on Constraints in Software Testing, Verification, and Analysis, Aug 2013, Luxembourg, Luxembourg. pp.230-231, ⟨10.1109/ICSTW.2013.34⟩
ICST Workshops

CSTVA Session 2; International audience; Relevance of automatically generated test cases depends on an appropriate definition of a test context, or precondition. This paper presents a novel method for handling a precondition in dynamic symbolic execu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f314b0892c614794b0fe6855d878176c
https://hal.inria.fr/hal-00853725

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání