Publications

2019 (1)

  • incollection - Pratiques et innovations à l'ère du numérique en formation à distance
    Dispositif d’apprentissage en langue à distance pour la mise à niveau et le renforcement en anglais et en enseignement à distance à l’Université de Franche-Comté (jul 2019, Pages 159 - 184)
    Bouquet, Fabrice | Briot, Marc | Georges, Valéry | Raclot, Annabelle
    bibtex

2018 (2)

  • article - Contract-based testing for PHP with Praspel
    Journal of Systems and Software (Volume 136, feb 2018, Pages :209 - 222)
    Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice | Enderlin, Ivan
    doi | bibtex
  • article - Volume 108
    (Volume 108, jan 2018, Pages :1 - 58)
    Ahmad, Abbas | Fourneret, Elizabeta | Bouquet, Fabrice | Legeard, Bruno
    doi | bibtex

2016 (3)

  • inproceedings - Model-Based Testing as a Service for IoT Platforms
    7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016) / Corfu, Greece (Volume 9953, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 727 - 742)
    Ahmad, Abbas | Bouquet, Fabrice | Fourneret, Elizabeta | Le Gall, Franck | Legeard, Bruno
    pdf | doi | bibtex
  • incollection - Advances in Computers
    Recent Advances in Model-Based Testing (Publisher : Elsevier, Editor : Atif Memon, Volume 101, Edition : 1st, Series Advances in Computers, Chapter 2, mar 2016, Pages 53 - 120)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • unpublished - Le test logiciel dans le cycle de vie d'applications (mar 2016)
    Bouquet, Fabrice
    bibtex

2015 (6)

  • inproceedings - A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
    17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 134 - 152)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Tooled Process for Early Validation of SysML Models using Modelica Simulation
    6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) / Teheran, Iran, Islamic Republic Of (Publisher : Springer, Volume 9392, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 230 - 237)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | doi | bibtex
  • misc - SysML2Modelica
    (apr 2015)
    Bouquet, Fabrice | Gauthier, Jean-Marie
    bibtex
  • incollection - Introduction à l'approche agent
    Simulation spatiale à base d'agents avec NetLogo, partie 1 (Publisher : ISTE, The International Society for Technology in Education, Editor : Arnaud Banos, Christophe Lang, Nicolas Marilleau, Edition : 1st, Series Systèmes d'information, web et informatique ubiquitaire, Chapter 1, feb 2015, Pages 15 - 36)
    Bouquet, Fabrice | Chipeaux, Sébastien | Lang, Christophe | Marilleau, Nicolas | Taillandier, Patrick
    bibtex
  • incollection - Formalismes de description des modèles agent
    Simulation spatiale à base d'agents avec NetLogo 1 (Publisher : ISTE, The International Society for Technology in Education, Editor : Arnaud Banos, Christophe Lang, Nicolas Marilleau, Edition : 1sft, Series Systèmes d'information, web et informatique ubiquitaire, feb 2015, Pages 37 - 72)
    Bouquet, Fabrice | Sheeren, David | Becu, Nicolas | Gaudou, Benoit | Lang, Christophe | Marilleau, Nicolas | Monteil, Claude
    bibtex
  • incollection - Agent-based Spatial Simulation with Netlogo
    Introduction to the Agent Approach (Publisher : Elsevier, Editor : Banos, Arnaud and Lang, Christophe and Marilleau, Nicolas, Volume Volume 1: Introduction and Bases, Chapter 1, jan 2015, Pages 1 - 28)
    Bouquet, Fabrice | Chipeaux, Sébastien | Lang, Christophe | Marilleau, Nicolas | Nicod, Jean-Marc | Taillandier, Patrick
    bibtex

2014 (1)

  • inproceedings - Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor
    13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014) / Besançon, France (2014, Pages pages 1194 - 1199)
    Gauthier, Jean-Marie | Gendreau, Dominique | Hammad, Ahmed | Bouquet, Fabrice
    pdf | doi | bibtex

2013 (3)

  • inproceedings - Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
    ECMFA'13, 9-th European Conference on Modelling Foundations and Applications / Montpellier, France (Publisher : Springer, Volume 7949, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 134 - 151)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - A Constraint Solver for PHP Arrays
    ICST Workshops / Luxembourg, Luxembourg (2013, Pages pages 218 - 223)
    Enderlin, Ivan | Giorgetti, Alain | Bouquet, Fabrice
    pdf | doi | bibtex
  • inproceedings - Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
    MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | bibtex

2012 (8)

  • inproceedings - Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
    VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle / Lisbon, Portugal (2012, Pages pages 139--144)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
    OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012 / Innsbruck, Austria (2012, Pages pages 55--60)
    Cantenot, Jérôme | Bouquet, Fabrice | Ambert, Fabrice
    doi | bibtex
  • article - Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems
    Journal of Parallel and Distributed Computing (Volume 72, Issue (5), may 2012, Pages :637 - 649)
    Droz-Bartholet, Lionel | Lapayre, Jean-Christophe | Bouquet, Fabrice | Garcia, Eric | Heinisch, Alexander
    pdf | doi | bibtex
  • inproceedings - Transformation of SysML structure diagrams to VHDL-AMS
    dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Grammar-Based Testing using Realistic Domains in PHP
    A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Los Alamitos, CA, United States (Publisher : IEEE, 2012, Pages pages 509--518)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice
    pdf | doi | bibtex
  • misc - Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex
  • inproceedings - Vérification et Test pour des systèmes évolutifs
    AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Grenoble, France (2012, Pages pages 150--164)
    Fourneret, Elizabeta | Bouquet, Fabrice | Ochoa, Martin | Jürjens, Jan | Wenzel, Sven
    bibtex
  • misc - Model-Based Testing Aujourd'hui
    Séminaire Invité au Club Qualité Logicielle, Montrouge, France (jan 2012)
    Bouquet, Fabrice
    bibtex

2011 (10)

  • techreport - Preuve de la garantie de la séquentialité du système collaboratif RAMOS
    (dec 2011, Research Report)
    Droz-Bartholet, Lionel | Bouquet, Fabrice | Lapayre, Jean-Christophe | Garcia, Eric
    bibtex
  • book - Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test
    Dunod (nov 2011)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    pdf | bibtex
  • misc - Graphical Model of MAS for Verification and Validation (Software engineering point of view)
    Invited talk at the V2CS Workshop, Paris, France (nov 2011)
    Bouquet, Fabrice
    bibtex
  • inproceedings - Orchestrating Security and System Engineering for Evolving Systems
    Towards a Service-Based Internet / Poznan, Poland (Volume 6994, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 134--143)
    Massacci, Fabio | Bouquet, Fabrice | Fourneret, Elizabeta | Jürjens, Jan | Lund, Mass | Madelénat, Sébastien | Muehlberg, JanTobias | Paci, Federica | Paul, Stéphane | Piessens, Frank | Solhaug, Bjornar | Wenzel, Sven
    pdf | doi | bibtex
  • inproceedings - UML/OCL based impact analysis to test evolving critical software
    ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf. / Ohrid, Macedonia (2011, Pages pages 73--79)
    Fourneret, Elizabeta | Bouquet, Fabrice
    bibtex
  • inproceedings - Model-Based Security Verification and Testing for Smart-cards
    ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security / Vienna, Austria (2011, Pages pages 272--279)
    Fourneret, Elizabeta | Ochoa, Martin | Bouquet, Fabrice | Botella, Julien | Jürjens, Jan | Yousefi, Parvaneh
    bibtex
  • inproceedings - Modelling of complex systems with AML as realized in MIRO project
    LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology) / Lyon, France (2011, Pages pages 159--162)
    Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
    pdf | doi | bibtex
  • inproceedings - Selective Test Generation Method for Evolving Critical Systems
    REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 125--134)
    Fourneret, Elizabeta | Bouquet, Fabrice | Dadeau, Frédéric | Debricon, Stéphane
    pdf | doi | bibtex
  • misc - Using Topcased for Model-Based Testing
    First TopCased Days, Toulouse, France (feb 2011)
    Lasalle, Jonathan | Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    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 (10)

  • inproceedings - SysML to UML model transformation for test generation purpose
    UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods / Shanghai, China (Volume 36, Issue 1, Series SIGSOFT Software Engineering Notes, 2010, Pages pages 1--8)
    Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • misc - Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents
    CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France (oct 2010)
    Chipeaux, Sébastien | Bouquet, Fabrice | Lang, Christophe | Marilleau, Nicolas
    bibtex
  • inproceedings - Assessing the Quality of B Models
    SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods / Pisa, Italy (2010, Pages pages 83--90)
    De Kermadec, Adrien | Dadeau, Frédéric | Bouquet, Fabrice
    pdf | doi | bibtex
  • techreport - Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software
    (sep 2010, Technical Report)
    Fourneret, Elizabeta | Bouquet, Fabrice
    bibtex
  • inproceedings - Building a Test-ready Abstraction of a Behavioral Model using CLP
    TAP'10, 4-th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 167--182)
    Bue, Pierre-Christophe | Dadeau, Frédéric | De Kermadec, Adrien | Bouquet, Fabrice
    bibtex
  • article - VETESS : IDM, Test et SysML
    Génie Logiciel (Issue (93), jun 2010, Pages :43--48)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    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
  • misc - VETESS : IDM, Test et SysML
    7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    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
  • 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 (6)

  • article - Le Model-Based Testing aligne exigences métier et référentiel de tests
    IT-Expert, La reference technique on-line des professionnels de l'informatique (Volume 82, nov 2009, Pages :26--33)
    Legeard, Bruno | Bouquet, Fabrice
    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
  • book - Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés)
    Dunod (apr 2009)
    Legeard, Bruno | Bouquet, Fabrice | Pickaert, Natacha
    bibtex
  • inproceedings - From Business Processes to Integration Testing
    IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles / Nancy, France (Volume 1, 2009)
    Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane
    pdf | 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
  • article - Automated UML models merging for web services testing
    International Journal of Web and Grid Services (IJWGS) (Volume 5, Issue (2), 2009, Pages :107 - 129)
    Pretre, Vincent | De Kermadec, Adrien | Bouquet, Fabrice | Lang, Christophe | Dadeau, Frédéric
    pdf | doi | bibtex

2008 (4)

  • techreport - Automating UML models merging: application of the method
    (dec 2008, Research Report)
    Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
    bibtex
  • inproceedings - Agent based modelling of complex systems with AML and the situation calculus
    ABS2, Int. workshop on Agent Based Spatial Simulation / Paris, France (2008)
    Bouquet, Fabrice | Lang, Christophe | Giorgetti, Alain | Brocard, Thibaud
    bibtex
  • inproceedings - A test generation solution to automate software testing
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 45--48)
    Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe
    pdf | doi | bibtex
  • inproceedings - Automating UML Models Merge for Web Services Testing
    iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services / Linz, Austria (2008, Pages pages 55--62)
    Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
    pdf | doi | bibtex

2007 (7)

  • inproceedings - A Model-Based Validation Framework for Web Services
    STV07, Procs of the 5th workshop on Systems Testing and Validation / Paris, France (2007, Pages pages 63--76)
    Bouquet, Fabrice | Lang, Christophe | Pretre, Vincent
    bibtex
  • inproceedings - A subset of precise UML for model-based testing
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 95--104)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe | Vacelet, Nicolas
    pdf | doi | bibtex
  • inproceedings - Towards automatic control for microfactories
    5th Int. Conf. on Industrial automation / Montréal, Québec, Canada (2007, Pages pages ***--***)
    Bouquet, Fabrice | Philippe, Laurent | Debricon, Stéphane | Descourvières, Eric | Gendreau, Dominique | Lutz, Philippe
    bibtex
  • inproceedings - Using Computer Science Modeling Techniques for Airport Security Certification
    RCIS'07, 1st Int. Conf. on Research Challenges in Information Science / Ouarzazate, Morocco (2007, Pages pages 61--72)
    Ledru, Yves | Bouquet, Fabrice | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Dubois, Catherine | Viguié Donzeau-Gouge, Véronique.
    bibtex
  • inproceedings - Instantiation of Parameterized Data Structures for Model-Based Testing
    B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 96--110)
    Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
    pdf | doi | bibtex
  • inproceedings - JML2B: Checking JML specifications with B machines
    B'2007, the 7th Int. B Conference - Tool Session / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 285--288)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex
  • inproceedings - EDEMOI: a methodology for security of air transport system
    EUCASS'10, 2nd European Conference on Aerospace Sciences (2007)
    Lemoine, Michel | R. Lopez Ruiz, Eduardo | Ledru, Yves | Bert, Didier | Laleau, Régine | Peureux, Fabien | Bouquet, Fabrice | Donzeau-Gouge, Véronique | Dubois, Catherine | Etienne, Jean-Frédéric | Vignes, Sylvie
    bibtex

2006 (9)

  • inproceedings - Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, Series LNI, Lecture Notes in Informatics, 2006, Pages pages 223 - 230)
    Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
    pdf | bibtex
  • inproceedings - Extending the Unified Process with Model-Based Testing
    MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification / Genova, Italy (2006, Pages pages 2--15)
    Legeard, Bruno | Bouquet, Fabrice | Debricon, Stéphane | Nicolet, Jean-Baptiste
    pdf | 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 - Automated Boundary Test Generation from JML Specifications
    FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 428--443)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    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
  • inproceedings - Validation of Regulation Documents by Automated Analysis of Formal Models
    REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06) / Luxembourg, Luxembourg (2006, Pages pages 800--805)
    Ledru, Yves | Bouquet, Fabrice | Vignes, Sylvie | Bert, Didier
    bibtex
  • inproceedings - JML-Testing-Tools, un Animateur Symbolique de Spécifications JML
    AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • techreport - Automated Boundary Test Generation from JML Specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • misc - JML2B - A Tool for Checking JML Specification with B Machines
    ( 2006)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex