Search results for "Pierre-Alain Masson"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué	Generating tests from B specifications and dynamic selection criteria.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson	Association of Under-Approximation Techniques for Generating Tests from Models.	TAP	2011	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	Syntactic Abstraction of B Models to Generate Tests	CoRR	2010	DBLP BibTeX RDF
1	Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson	Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	Syntactic Abstraction of B Models to Generate Tests.	TAP	2010	DBLP DOI BibTeX RDF
1	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	B Model Abstraction Combining Syntactic and Semantic Methods.	ASM	2010	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Emilie Oudot	Partitioned PLTL model-checking for refined transition systems.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Security Tests in Addition to Functional Tests.	AST	2008	DBLP DOI BibTeX RDF
1	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Tests from B Specifications and Test Purposes.	ABZ	2008	DBLP DOI BibTeX RDF	IAS Case Study, Model-Based Testing, Test Purpose
1	Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois	Automatic generation of model based tests for a class of security properties.	A-MOST	2007	DBLP DOI BibTeX RDF	security policy, automatic test generation, security properties
1	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions	CoRR	2006	DBLP BibTeX RDF
1	Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde	PLTL-partitioned model checking for reactive systems under fairness assumptions.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
1	Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand	Modular Verification for a Class of PLTL Properties.	IFM	2000	DBLP DOI BibTeX RDF	Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
1	Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir	Modular Verification of Dynamic Properties for Reactive Systems.	IFM	1999	DBLP BibTeX RDF

Publications of "Pierre-Alain Masson" ( http://dblp.L3S.de/Authors/Pierre-Alain_Masson )