Pierre-Alain Masson

According to our database, Pierre-Alain Masson authored at least 25 papers between 1999 and 2021.

Collaborative distances:

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

2021

Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier Transform.

Henri de Boutray, Hamza Jaffali, Frédéric Holweck, Alain Giorgetti, Pierre-Alain Masson

Quantum Inf. Process., 2021

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

Tri-modal under-approximation for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Sci. Comput. Program., 2016

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

2015

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Tri-modal under-approximation of event systems for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Test generation from timed pushdown automata with inputs and outputs.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2013

B model slicing and predicate abstraction to generate tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Softw. Qual. J., 2013

2011

Generating tests from B specifications and dynamic selection criteria.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué

Formal Aspects Comput., 2011

Association of Under-Approximation Techniques for Generating Tests from Models.

Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Third International Conference on Software Testing, 2010

B Model Abstraction Combining Syntactic and Semantic Methods.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Abstract State Machines, 2010

2009

Partitioned PLTL model-checking for refined transition systems.

Jacques Julliand, Pierre-Alain Masson, Emilie Oudot

Inf. Comput., 2009

2008

Generating Security Tests in Addition to Functional Tests.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Generating Tests from B Specifications and Test Purposes.

Jacques Julliand, Pierre-Alain Masson, Régis Tissot

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Automatic generation of model based tests for a class of security properties.

Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2005

PLTL-partitioned model checking for reactive systems under fairness assumptions.

Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde

ACM Trans. Embed. Comput. Syst., 2005

2001

Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems).

Pierre-Alain Masson

PhD thesis, 2001

2000

Modular Verification for a Class of PLTL Properties.

Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Modular Verification of Dynamic Properties for Reactive Systems.

Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir

Proceedings of the Integrated Formal Methods, 1999