Guillaume Voiron

According to our database, Guillaume Voiron authored at least 7 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests. (concrete and relevant exploration of abstract event systems for automatic tests generation).

Guillaume Voiron

PhD thesis, 2019

2018

Assessing SMT and CLP approaches for workflow nets verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Int. J. Softw. Tools Technol. Transf., 2018

Test Generation from Event System Abstractions to Cover Their States and Transitions.

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

Program. Comput. Softw., 2018

Under-Approximation Generation Driven by Relevance Predicates and Variants.

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

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

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

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Approximating Event System Abstractions by Covering Their States and Transitions.

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

Proceedings of the Perspectives of System Informatics, 2017

2016

Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016