The institute
FEMTO-ST
Directory

You are here

Pierre-Alain Masson

Pierre-Alain Masson's publications

2018 (2)

  • inproceedings - Under-Approximation Generation Driven by Relevance Predicates and Variants
    12th International Conference on Tests & Proofs (TAP 2018) / Toulouse, France (Volume 10889, Series Lecture Notes in Computer Science (LNCS), 2018, Pages pages 63 - 82)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • article - Test Generation from Event System Abstractions to Cover Their States and Transitions
    Programming and Computer Software (Volume 44, Issue (1), mar 2018, Pages :1 - 14)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    doi | bibtex

2017 (4)

  • inproceedings - Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
    11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017) / Nice, France (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • inproceedings - Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions
    16ème Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017) / Montpellier, France (2017, Pages pages 93 - 94)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • inproceedings - Approximating Event System Abstractions by Covering their States and Transitions
    11th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2017) / Moscou, Russian Federation (Volume 10742, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 211 - 226)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • techreport - Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex

2016 (2)

  • article - Tri-modal under-approximation for test generation
    Science of Computer Programming (Volume 132, Issue (2), aug 2016, Pages :190 - 208)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - IEEE / Paris, France (Publisher : IEEE, 2016, Pages pages 211 - 213)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex

2015 (4)

  • inproceedings - Conformance Testing for Timed Recursive programs
    Computer and Information Science 2015 / Las Vegas, United States (Publisher : Springer, Volume 614, Series Studies in Computational Intelligence, 2015, Pages pages 203 - 219)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex
  • inproceedings - Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation
    WETICE 2015, 24rd IEEE WETICE Conference, 3rd Track on Validation of Safety critical Collaboration systems / Larnaca, Cyprus (Publisher : IEEE, 2015, Pages pages 198--203)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
  • inproceedings - Tri-Modal Under-Approximation of Event Systems for Test Generation
    SAC 2015, 30th ACM/SIGAPP Symposium On Applied Computing / Salamanca, Spain (2015, Pages pages 1737--1744)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - Test Generation from Timed Pushdown Automata with Inputs and Outputs
    A-MOST 2015, 11th Workshop on Advances in Model Based Testing. Co-located with ICST 2015 / Graz, Austria (Publisher : IEEE, 2015, Pages pages 1--10)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex

2013 (1)

  • article - B Model Slicing and Predicate Abstraction to Generate Tests
    Software Quality Journal (Volume 21, Issue (1), mar 2013, Pages :127 - 158)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain
    pdf | doi | bibtex

2011 (3)

  • inproceedings - Association of Under-Approximation Techniques for Generating Tests from Models
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 51--68)
    Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | bibtex
  • article - Generating Tests from B Specifications and Dynamic Selection Criteria
    Formal Aspects of Computing (Volume 23, Issue (1), jan 2011, Pages :3 - 19)
    Julliand, Jacques | Masson, Pierre-Alain | Tissot, Régis | Bue, Pierre-Christophe
    pdf | doi | bibtex
  • incollection - Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex

2010 (5)

  • inproceedings - Syntactic Abstraction of B Models to Generate Tests
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 151--166)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • inproceedings - Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
    10èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010) / Poitiers, France (2010, Pages pages 11 - 25)
    Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
  • inproceedings - Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
    A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10 / Paris, France (2010, Pages pages 54--61)
    Bouquet, Fabrice | Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - B Model Abstraction Combining Syntactic and Semantic Methods
    ABZ'10, ASM, Alloy, B and Z conference / Orford, Québec, Canada (2010)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • article - An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
    Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
    Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal
    pdf | bibtex

2009 (4)

  • techreport - B Model Abstraction Combining Syntactic and Semantics Methods
    (nov 2009, Research Report)
    Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe | Stouls, Nicolas
    bibtex
  • techreport - Test Generation Based on Abstraction and Dynamic Selection Criteria
    (sep 2009, Research Report)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
    bibtex
  • article - Partitioned PLTL Model-Checking for Refined Transition Systems
    Information and Computation (Volume 207, Issue (6), jun 2009, Pages :681 - 698)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    pdf | doi | bibtex
  • inproceedings - Génération de tests à partir de critères dynamiques de sélection et par abstraction
    AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 161--176)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
    bibtex

2008 (3)

  • techreport - Partitioned PLTL Model-Checking for Refined Transition Systems
    (oct 2008, Research Report)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    bibtex
  • inproceedings - Generating Tests from B Specifications and Test Purposes
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 139--152)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - Generating Security Tests in Addition to Functional Tests
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 41--44)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex

2007 (1)

  • inproceedings - Automatic Generation of Model Based Tests for a Class of Security Properties
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 12--22)
    Julliand, Jacques | Masson, Pierre-Alain | Debois, Georges | Jaffuel, Eddie | Plessis, J.-C.
    pdf | doi | bibtex

2006 (1)

  • inproceedings - Model-Based Security Testing, Application to a Smart Card Identity Applet
    eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
    Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
    bibtex