Guillaume Voiron

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 6

Top Topics

Approximation Error

State Transition

Top Venues

Int. J. Softw. Tools Technol. Transf.

Ershov Informatics Conference

Publications

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. 44 (1) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference (2017)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE (2017)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS (2016)