Výsledky vyhledávání - "Voiron, Guillaume"

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests

Autor: Voiron, Guillaume

Publikováno v: Autre [cs.OH]. Université Bourgogne Franche-Comté, 2019. Français. ⟨NNT : 2019UBFCD027⟩

The work presented in this thesis contributes to the automated under-approximation generation techniques in order to generate tests from models.Model based testing aims at guaranteeing the conformity of an implementation with regards to a model, both

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::3e3fdd394e6a60a41730462ab20b24b0
https://tel.archives-ouvertes.fr/tel-02502304/document

Zobrazit plný text záznamu

concrete and relevant exploration of abstract event systems for automatic tests generation

Autor: Voiron, Guillaume

Publikováno v: Autre [cs.OH]. Université Bourgogne Franche-Comté, 2019. Français. ⟨NNT : 2019UBFCD027⟩

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::3e3fdd394e6a60a41730462ab20b24b0
https://tel.archives-ouvertes.fr/tel-02502304/document

Zobrazit plný text záznamu

Assessing SMT and CLP approaches for workflow nets verification

Autor: Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 4, pp.467-491

International audience; In the actual business world, companies rely more and more on workflows to model the core of their business processes. In this context, the focus of workflow analysts is made on the verification of workflows specifications, in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04ea441cebcf1381afb4827b4e01b42d
https://hal.archives-ouvertes.fr/hal-01992580

Zobrazit plný text záznamu

Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions

Autor: Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre, Voiron, Guillaume

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

International audience; Dans les systèmes événementiels le flot de contrôle est implicite. Par conséquent leur abstraction peut engendrer des traces déconnectées et inatteignables depuis l'état initial. Cet article présente une méthode algo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a9fac13a86c64fd988366beceb811b0
https://hal.archives-ouvertes.fr/hal-02366556/file/1a6fce37-8dde-45ef-ad44-c9f14ecdd3dc-author.pdf

Zobrazit plný text záznamu

Approximating Event System Abstractions by Covering their States and Transitions

Autor: Julliand, Jacques, Kouchnarenko, Olga, Masson, Pierre-Alain, Voiron, Guillaume

Publikováno v: [Research Report] RR–FEMTO-ST–2496, FEMTO-ST. 2017

In event systems, contrarily to sequential ones, the control flow is implicit. Consequently, their abstraction may give rise to disconnected and unreachable paths. This paper presents an algorithmic method for computing a reachable and connected unde

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::897ca56443bf03ea48f65f15260947b8
https://hal.science/hal-01496470/file/f8d77ef8-6af0-4f6e-b9fd-bf893bd9ca29-author.pdf

Zobrazit plný text záznamu

Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification

Autor: Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Publikováno v: Approches Formelles dans l'Assistance au Développement de Logiciels
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France

International audience; Cet article propose une évaluation et une comparaison de deux méthodes de résolution de systèmes de contraintes, SMT (Satisfiability Modulo Theory) et CSP (Constraint Satisfaction Problem), appliquées à la vérification

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e712250c87ff1b1f45c104b883d6cb79
https://hal.archives-ouvertes.fr/hal-02131150

Zobrazit plný text záznamu

Kniha

Workflow Nets Verification: SMT or CLP?

Autor: Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume

Publikováno v: Critical Systems: Formal Methods & Automated Verification; 2016, p39-55, 17p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání