Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Delahaye, Mickaël"'
Autor:
Bardin, Sébastien, Delahaye, Mickaël, Kosmatov, Nikolai, Marcozzi, Michaël, Prevosto, Virgile
While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We introduce a un
Externí odkaz:
http://arxiv.org/abs/1609.01204
Publikováno v:
In Science of Computer Programming 1 July 2021 207
Publikováno v:
In Information and Software Technology February 2015 58:403-418
Autor:
Delahaye, Mickaël, Du Bousquet, Lydie
Publikováno v:
Software: Practice and Experience
Software: Practice and Experience, Wiley, 2015, 45 (7), pp.875-891. ⟨10.1002/spe.2312⟩
Software: Practice and Experience, Wiley, 2015, 45 (7), pp.875-891. ⟨10.1002/spe.2312⟩
International audience; 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=dedup_wf_001::79a5c1bf7616e6430c9df16eaba231bf
https://hal.archives-ouvertes.fr/hal-01274020
https://hal.archives-ouvertes.fr/hal-01274020
Publikováno v:
24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)
24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
International audience; 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 collec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9fca3b9fb198cf7d4fa0181caeef1ca8
https://hal.inria.fr/hal-00974761
https://hal.inria.fr/hal-00974761
Publikováno v:
Proceedings of the 24th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2012)
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications
ICSSEA 2012-24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
7 pages - Session 11: Testing - http://icssea.enst.fr/icssea12/; International audience; Combinations of static and dynamic analysis techniques make it possible to detect the risk of out-of-bounds memory access in C programs and to confirm it on conc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fb016ee94d9bdd77445b23a7d6238c66
https://hal.science/hal-00724508
https://hal.science/hal-00724508
Publikováno v:
Software Security and Reliability (SERE 2012)
SERE 2012-6th IEEE International Conference on Software Security and Reliability (ex-SSIRI)
SERE 2012-6th IEEE International Conference on Software Security and Reliability (ex-SSIRI), Jun 2012, Gaithersburg, MD, United States. pp.196-206, ⟨10.1109/SERE.2012.32⟩
SERE 2012-6th IEEE International Conference on Software Security and Reliability (ex-SSIRI)
SERE 2012-6th IEEE International Conference on Software Security and Reliability (ex-SSIRI), Jun 2012, Gaithersburg, MD, United States. pp.196-206, ⟨10.1109/SERE.2012.32⟩
Session: Software Testing; International audience; Automatic Fault Localization (AFL) is a process to locate faults automatically in software programs. Essentially, an AFL method takes as input a set of test cases including failed test cases, and ran
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dab82537dc9e24bb1856df829562732d
https://hal.archives-ouvertes.fr/hal-00857293
https://hal.archives-ouvertes.fr/hal-00857293
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6677c55428a70bdc8b6e63196cc37d58
https://hal.inria.fr/hal-00953276
https://hal.inria.fr/hal-00953276
Publikováno v:
[Research Report] RR-LIG-031, LIG. 2012
Les rapports de recherche du LIG - ISSN: 2105-0422; Recent technology advances have made possible the retrieval of execution traces on microcontrollers. However, even after a short execution time of the embedded program, the collected execution trace
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c9ff8251b3a310e2fd70a2010d2b4467
https://hal.archives-ouvertes.fr/hal-01472082/document
https://hal.archives-ouvertes.fr/hal-01472082/document
Publikováno v:
Tests & Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings; 2014, p53-60, 8p