Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Groz, Roland"'
Autor:
Vega, Germán, Groz, Roland, Oriat, Catherine, Foster, Michael, Walkinshaw, Neil, Simão, Adenilso
This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method
Externí odkaz:
http://arxiv.org/abs/2406.07040
Directed fuzzing focuses on automatically testing specific parts of the code by taking advantage of additional information such as (partial) bug stack trace, patches or risky operations. Key applications include bug reproduction, patch testing and st
Externí odkaz:
http://arxiv.org/abs/2002.10751
Publikováno v:
Workshop on Machine Learning for Program Analysis
Workshop on Machine Learning for Program Analysis, Jan 2021, Yokohama, Japan
Workshop on Machine Learning for Program Analysis, Jan 2021, Yokohama, Japan
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eeaa393ab55fefe1150afff8be848a6c
https://hal.archives-ouvertes.fr/hal-03275253
https://hal.archives-ouvertes.fr/hal-03275253
Autor:
Groz, Roland
Th. univ.--Inform.--Rennes 1, 1988.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb376140534
Publikováno v:
NLPaSE: Natural Language Processing Advancements for Software Engineering
NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15c7c5ec256bb06d8f9027f0475b2047
https://hal.archives-ouvertes.fr/hal-03275244
https://hal.archives-ouvertes.fr/hal-03275244
Publikováno v:
In Electronic Notes in Theoretical Computer Science 31 August 2007 190(2):3-19
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Ledru, Yves, Blein, Yoann, Du Bousquet, Lydie, Groz, Roland, Clere, Arnaud, Bertrand, Fabrice
Publikováno v:
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
International audience; The verification of software intensive medical devices can largely benefit from the analysis of their execution traces. Trace points can easily be added to the software, and traces can be used at several stages of the developm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5d42c78a4be9e974167b8c573bee33a6
https://hal.univ-grenoble-alpes.fr/hal-02004396
https://hal.univ-grenoble-alpes.fr/hal-02004396
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fa0dc0768d4d8356e1438d751ebadf4
https://hal.archives-ouvertes.fr/hal-01657548
https://hal.archives-ouvertes.fr/hal-01657548