L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Jacques Julliand

Publications de Jacques Julliand

2018 (3)

  • article - How testing helps to diagnose proof failures
    Formal Aspects of Computing (Volume 30, Issue (6), nov 2018, Pages :629 - 657)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
    pdf | doi | bibtex
  • 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 (3)

  • 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 - Your Proof Fails? Testing Helps to Find the Reason
    10th International Conference on Tests and Proofs, Held as Part of STAF 2016 (TAP 2016) / Vienna, Austria (Volume 9762, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 130 - 150)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
    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 (5)

  • article - A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns
    Formal Aspects of Computing (Volume 27, Issue (4), dec 2015, Pages :641-664)
    Taha, Safouan | Julliand, Jacques | Dadeau, Frédéric | Cabrera Castillos, Kalou | Kanso, Bilal
    doi | bibtex
  • 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

2014 (6)

  • article - Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing
    Software Testing, Verification and Reliability (Volume 24, Issue (7), oct 2014, Pages :497 - 498)
    Brucker, Achim D. | Julliand, Jacques
    pdf | doi | bibtex
  • article - Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites
    Software Testing, Verification and Reliability (Volume 24, Issue (8), oct 2014, Pages :591 - 592)
    Brucker, Achim D. | Julliand, Jacques
    pdf | doi | bibtex
  • inproceedings - Instrumentation of Annotated C Programs for Test Generation
    SCAM 2014, 14th IEEE Int. Working Conf. on Source Code Analysis and Manipulation / Victoria, British Columbia, Canada (2014, Pages pages ***--***)
    Petiot, Guiillaume | Botella, Bernard | Julliand, Jacques | Kosmatov, Nikolaï | Signoles, Julien
    pdf | bibtex
  • inproceedings - How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    TAP 2014, 8th Int. Conf. of Tests and Proofs / York, UK (Publisher : Springer, Volume 8570, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 204--211)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | doi | bibtex
  • inproceedings - Comment la génération de tests facilite la spécification et la vérification déductive des programmes dans Frama-C
    AFADL'14, 13èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Paris, France (2014, Pages pages 133--133)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • inproceedings - Coverage Criteria for Model-Based Testing using Property Patterns
    MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014 / Grenoble, France (Volume 141, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2014, Pages pages 29--43)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Julliand, Jacques
    doi | bibtex

2013 (2)

  • inproceedings - A Compositional Automata-based Semantics for Property Patterns
    iFM 2013, 10th International Conference on integrated Formal Methods / Turku, Finland (Publisher : Springer, Volume 7940, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 316 - 330)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Kanso, Bilal | Taha, Safouan
    pdf | doi | bibtex
  • 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

2012 (3)

  • proceedings - TAP'12, 6-th Int. Conf. on Tests and Proofs
    / Prague, Czech Republic (Editor : Brucker, Achim D. and Julliand, Jacques, Volume 7305, Series Lecture Notes in Computer Science (LNCS), may 2012)
    Julliand, Jacques
    pdf | doi | bibtex
  • inproceedings - Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
    SAC 2012, 27-th ACM Symposium On Applied Computing / Trento, Italy (2012, Pages pages 1284--1291)
    Chebaro, Omar | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • misc - Contributions à la Génération Automatique de Tests à partir de Critères de Sélection Dynamique par Abstraction de Modèles
    Séminaire invité au CEA de Saclay, France (jan 2012)
    Julliand, Jacques
    bibtex

2011 (7)

  • inproceedings - Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
    ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems / Paris, France (Volume 7019, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 32--47)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Taha, Safouan
    bibtex
  • article - Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 13, Issue (5), oct 2011, Pages :431 - 448)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques
    pdf | doi | bibtex
  • 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
  • inproceedings - The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 78--83)
    Chebaro, Omar | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    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
  • article - Incremental Verification of Component-Based Timed Systems
    International Journal of Computer Applications in Technology (Volume 42, Issue (2-3), 2011, Pages :159 - 176)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    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 (8)

  • 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 - Combining Static Analysis and Test Generation for C Program Debugging
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 94--100)
    Chebaro, Omar | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    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 - Combining Frama-C and PathCrawler for C Program Debugging
    GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel / Pau, France (2010, Pages pages 217--218)
    Chebaro, Omar | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • book - Cours et exercices corrigés d'algorithmique - Vérifier, tester et concevoir des programmes en les modélisant
    Vuibert (feb 2010)
    Julliand, Jacques
    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 (5)

  • article - Verification of class liveness properties with Java modeling language
    IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
    Julliand, Jacques | Giorgetti, Alain | Groslambert, Julien | Kouchnarenko, Olga
    pdf | doi | bibtex
  • 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 - Leirios Test Generator: from Research to Teaching, through Industry
    Int. Workshop on the B Method: from Research to Teaching / Nantes, France (2008, Pages pages 1--16)
    Dadeau, Frédéric | Tissot, Régis | Julliand, Jacques
    pdf | 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 (5)

  • inproceedings - Preservation of timed properties during an incremental development by components
    ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation / Poitiers, France (Series RNTI, Revue des Nouvelles Technologies de l'Information, 2007, Pages pages 159--166)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • inproceedings - VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System
    ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods / Boca Raton, Florida, United States (Volume 4789, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 116--135)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • techreport - Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
    (nov 2007, Research Report)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • 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
  • inproceedings - VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé
    AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils / Namur, Belgium (2007, Pages pages 289--290)
    Julliand, Jacques | Mountassir, Hassan | Oudot, Emilie
    bibtex

2006 (7)

  • inproceedings - JML-based Verification of Liveness Properties on a Class
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 41--48)
    Julliand, Jacques | Groslambert, Julien | Kouchnarenko, Olga
    pdf | bibtex
  • inproceedings - Experiments in the use of tau-simulations for the components-verification of real-time systems
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 33--40)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • 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
  • inproceedings - Safety Property Driven Test Generation from JML Specifications
    FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification / Seattle, WA, United States (Volume 4262, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 225--239)
    Dadeau, Frédéric | Bouquet, Fabrice | Julliand, Jacques | Groslambert, Julien
    bibtex
  • techreport - The tool VeSTA: Verification of Simulations for Timed Automata
    (jul 2006, Technical Report)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • techreport - Experiments in the use of tau-simulations for the Verification of Timed Components
    (jul 2006, Research Report)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex
  • misc - VeSTA - Vérification de Simulations entre Automates Temporisés
    ( 2006)
    Julliand, Jacques | Bellegarde, Françoise | Mountassir, Hassan | Oudot, Emilie
    bibtex

1997 (1)

  • inproceedings - Comparaison de diverses méthodes pour la parallélisation d'un logiciel de simulation en mise en forme des matériaux
    3ème Colloque National en Calcul des Structures / Giens, France (Volume 1, 1997, Pages pages 327--334)
    Paquier, Pascal | Gelin, Jean-Claude | Julliand, Jacques
    bibtex