Fabrice Bouquet

@inproceedings{53982de1-f59b-4bf6-bff0-35d796bf2fe7, title = {New Convex-Based Metamorphic Relations and Large-Scale Machine Learning Model Evaluation}, author = {Colonval, Jessy and Bouquet, Fabrice}, year = {2025}, address = {Limassol, Cyprus}, booktitle = {37th International Conference on Testing Software and Systems (IFIP-ICTSS 2025)}, editor = {53982de1-f59b-4bf6-bff0-35d796bf2fe7-editor.pdf}, month = {sep}, pages = {349 - 364}, url = {https://publiweb.femto-st.fr/tntnet/entries/21660/documents/author/data}, volume = {16107}, doi = {https://doi.org/10.1007/978-3-032-05188-2_23}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{c6153e3b-29d7-430b-90c0-4a8c9170ca47, title = {Hunting inside n-quantiles of outliers (Hino)}, author = {Colonval, Jessy and Bouquet, Fabrice}, year = {2025}, address = {Sydney, Australia}, booktitle = {29th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2025)}, editor = {}, month = {jun}, pages = {420 - 431}, url = {https://publiweb.femto-st.fr/tntnet/entries/21302/documents/author/data}, volume = {15875}, doi = {https://doi.org/10.1007/978-981-96-8295-9_31}, series = {Lecture Notes in Computer Science - Lecture Notes in Artificial Intelligence (LNAI)} }

@inproceedings{50659d36-ad07-4de8-abb9-b6ee7df81a6c, title = {Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance}, author = {Pazart, Lionel and Armbruster, Vincent and Monin, Debora and Delorme, Corinne and Borel, Monique and Le Nihouannen, Damien and Barbot, Fr\'ed\'eric and Bouquet, Fabrice and Carrault, Guy and Lihoreau, Thomas and Durand, Marl\`ene and Clogenson, Hel\`ene and Pelayo, Sylvia}, year = {2024}, address = {Rome, Italy}, booktitle = {17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024)}, editor = {50659d36-ad07-4de8-abb9-b6ee7df81a6c-editor.pdf}, month = {feb}, pages = {842 - 851}, volume = {1 }, doi = {https://doi.org/10.5220/0012593900003657} }

@inproceedings{416fecf0-216b-4cbf-a577-d5f3ecfbcec8, title = {Multidimensional Adaptative kNN over Tracking Outliers (Makoto)}, author = {Colonval, Jessy and Bouquet, Fabrice}, year = {2023}, address = {Shenyang, China}, booktitle = {International Conference on Advanced Data Mining and Applications (ADMA 2023)}, editor = {}, month = {aug}, pages = {535 - 550}, url = {https://publiweb.femto-st.fr/tntnet/entries/20810/documents/author/data}, volume = {14176}, doi = {https://doi.org/10.1007/978-3-031-46661-8_36}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{ee895f89-a7c6-46ee-ad5e-b1fa9bd2047c, title = {Regression Test Generation by Usage Coverage Driven Clustering on User Traces}, author = {Tamagnan, Fr\'ed\'eric and Bouquet, Fabrice and Vernotte, Alexandre and Legeard, Bruno}, year = {2023}, address = {Dublin, Ireland}, booktitle = {16th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2023)}, editor = {ee895f89-a7c6-46ee-ad5e-b1fa9bd2047c-editor.pdf}, month = {apr}, pages = {82 - 89}, doi = {https://doi.org/10.1109/ICSTW58534.2023.00026} }

@inproceedings{7b52869d-870a-443c-bb81-68675dd23e81, title = {Clustering of Usage Traces for Regression Test Cases Selection}, author = {Dorcis, Vahana and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric}, year = {2022}, address = {Valencia, Spain}, booktitle = {15th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022)}, editor = {7b52869d-870a-443c-bb81-68675dd23e81-editor.pdf}, month = {apr}, pages = {138 - 145}, doi = {https://doi.org/10.1109/ICSTW55395.2022.00036} }

@inproceedings{1e8ec251-41d2-4a4a-8a8a-299f1fe02b7a, title = {A Language for Modelling False Data Injection Attacks in Internet of Things}, author = {Briland, Mathieu and Bouquet, Fabrice}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {3rd International Workshop on Software Engineering Research \& Practices for the Internet of Things (SERP4IoT 2021)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/17706/documents/author/data} }

@inproceedings{58a5c38d-9650-478d-adf9-3803592da86c, title = {Identifying and Generating Missing Tests using Machine Learning on Execution Traces }, author = {Utting, Mark and Legeard, Bruno and Dadeau, Fr\'ed\'eric and Tamagnan, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2020}, address = {Oxford, United Kingdom}, booktitle = {2\`eme IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020)}, editor = {58a5c38d-9650-478d-adf9-3803592da86c-editor.pdf}, month = {jul}, pages = {83 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/16470/documents/author/data}, doi = {10.1109/AITEST49225.2020.00020} }

@inproceedings{ac4cab4e-05fe-4d9f-9189-577cfb70b08f, title = {Model-Based Testing as a Service for IoT Platforms}, author = {Ahmad, Abbas and Bouquet, Fabrice and Fourneret, Elizabeta and Le Gall, Franck and Legeard, Bruno}, year = {2016}, address = {Corfu, Greece}, booktitle = {7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2016)}, month = {oct}, pages = {727 - 742}, url = {https://publiweb.femto-st.fr/tntnet/entries/14359/documents/author/data}, volume = {9953}, doi = {10.1007/978-3-319-47169-3_55}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{gbhp15b:ip, title = {A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015 )}, month = {nov}, pages = {134 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/11855/documents/author/data}, volume = {9407}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{gbhp15:ip, title = {Tooled Process for Early Validation of SysML Models using Modelica Simulation}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2015}, address = {Teheran, Iran, Islamic Republic Of}, booktitle = {6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015)}, month = {apr}, pages = {230 - 237}, url = {https://publiweb.femto-st.fr/tntnet/entries/10118/documents/author/data}, volume = {9392}, doi = {10.1007/978-3-319-24644-4_16}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{9ab7908b-684f-4a59-96b0-3e31755e6597, title = {Formation sur les m\'ethodes de test et de validation des logiciels}, author = {Ambert, Fabrice and Bouquet, Fabrice and Gauthier, Jean-Marie and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, month = {nov} }

@inproceedings{18a297c7-dd5c-4187-bec6-2b4aa820fc20, title = {Modeling and Simulation of Modular Complex System: Application to Air-jet Conveyor}, author = {Gauthier, Jean-Marie and Gendreau, Dominique and Hammad, Ahmed and Bouquet, Fabrice}, year = {2014}, address = {Besan\c{c}on, France}, booktitle = {13th IEEE International Conference on Advanced Intelligent Mechatronics (AIM 2014)}, month = {jul}, pages = {1194 - 1199}, url = {https://publiweb.femto-st.fr/tntnet/entries/7402/documents/author/data}, doi = {10.1109/AIM.2014.6878244}, organization = {IEEE} }

@inproceedings{71032dc2-ee54-4aee-a1d0-f528ac0de31a, title = {7\`eme rencontre sur les pratiques du test}, author = {Bouquet, Fabrice}, year = {2014}, month = {jun} }

@inproceedings{fcbl+14:ip, title = {SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models}, author = {Fourneret, Elizabeta and Cantenot, J\'er\^ome and Bouquet, Fabrice and Legeard, Bruno and Botella, Julien}, year = {2014}, address = {San Francisco (CA), United States}, booktitle = {8th International Conference on Software Security and Reliability (SERE 2014)}, month = {jun}, pages = {147 - 156}, url = {http://dx.doi.org/10.1109/SERE.2014.28}, doi = {10.1109/SERE.2014.28}, publisher = {IEEE} }

@inproceedings{f7728078-3312-416c-8c3e-e608ed0e0f34, title = {Formation sur la d\'emarche de test en d\'eveloppement logiciel}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {dec} }

@inproceedings{f5efe41d-2f96-4794-bb3d-78aef131b94d, title = {Journ\'ees nationales du Developpement Logiciel (JDEV'2013)}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {sep} }

@inproceedings{abll+13:ip, title = {Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2013}, address = {Montpellier, France}, booktitle = {ECMFA'13, 9-th European Conference on Modelling Foundations and Applications}, month = {jul}, pages = {134 - 151}, url = {https://publiweb.femto-st.fr/tntnet/entries/5960/documents/author/data}, volume = {7949}, doi = {10.1007/978-3-642-39013-5_10}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{0689a6d3-e6d9-4ac7-bade-43a021b246cc, title = {A Constraint Solver for PHP Arrays}, author = {Enderlin, Ivan and Giorgetti, Alain and Bouquet, Fabrice}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {ICST Workshops}, month = {mar}, pages = {218 - 223}, url = {https://publiweb.femto-st.fr/tntnet/entries/5746/documents/author/data}, doi = {10.1109/ICSTW.2013.80}, organization = {IEEE}, publisher = {IEEE} }

@inproceedings{cab13:ip, title = {Strategies Comparison of Test Generation from UML Using SMT Solver}, author = {Cantenot, J\'er\^ome and Ambert, Fabrice and Bouquet, Fabrice}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {224--229}, url = {http://dx.doi.org/10.1109/ICSTW.2013.71}, doi = {10.1109/ICSTW.2013.71}, publisher = {IEEE} }

@inproceedings{bbcl+13:ip, title = {Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience}, author = {Botella, Julien and Bouquet, Fabrice and Capuron, Jean-Fran\c{c}ois and Lebeau, Franck and Legeard, Bruno and Schadle, Florence}, year = {2013}, booktitle = {ICST'13, 6th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {192--201}, url = {http://dx.doi.org/10.1109/ICST.2013.42}, doi = {10.1109/ICST.2013.42} }

@inproceedings{gbph13:oip, title = {Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2013}, address = {Barcelona, Spain}, booktitle = {MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development}, month = {feb}, pages = {123 - 128}, url = {https://publiweb.femto-st.fr/tntnet/entries/5976/documents/author/data} }

@inproceedings{abll12:ip, title = {Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2012}, address = {Lisbon, Portugal}, booktitle = {VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle}, month = {nov}, pages = {139--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/357/documents/author/data} }

@inproceedings{bllc12:oip, title = {Model-Based Security Testing - Experience report for security component testing at the French Department of Defense}, author = {Bouquet, Fabrice and Legeard, Bruno and Lebeau, Franck and Capuron, Jean-Fran\c{c}ois}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {MBTUC'12, User Conference on Model-Based Testing}, month = {oct}, publisher = {ETSI} }

@inproceedings{cba12:ip, title = {Transformation rules from UML4MBT meta-model to SMT meta-model for model animation}, author = {Cantenot, J\'er\^ome and Bouquet, Fabrice and Ambert, Fabrice}, year = {2012}, address = {Innsbruck, Austria}, booktitle = {OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012}, month = {sep}, pages = {55--60}, doi = {10.1145/2428516.2428526} }

@inproceedings{gbhp12:ip, title = {Transformation of SysML structure diagrams to VHDL-AMS}, author = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS}, editor = {Bourgeois, Julien and de Labachelerie, Michel}, month = {apr}, pages = {74--81}, url = {https://publiweb.femto-st.fr/tntnet/entries/593/documents/author/data}, doi = {10.1109/dMEMS.2012.12} }

@inproceedings{edgb12:ip, title = {Grammar-Based Testing using Realistic Domains in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'ed\'eric and Giorgetti, Alain and Bouquet, Fabrice}, year = {2012}, address = {Los Alamitos, CA, United States}, booktitle = {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}, month = {apr}, pages = {509--518}, url = {https://publiweb.femto-st.fr/tntnet/entries/692/documents/author/data}, doi = {10.1109/ICST.2012.136}, publisher = {IEEE} }

@inproceedings{pmbd12:ip, title = {Managing Evolution by Orchestrating Requirements and Testing Engineering Processes}, author = {Paci, Federica and Massacci, Fabio and Bouquet, Fabrice and Debricon, St\'ephane}, year = {2012}, address = {Montreal, Canada}, booktitle = {SECTEST 2012, 3rd Int. Workshop on Security Testing, co-located with ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {apr}, pages = {834--841}, url = {http://dx.doi.org/10.1109/ICST.2012.184}, doi = {10.1109/ICST.2012.184}, publisher = {IEEE} }

@inproceedings{bouquet12:it, title = {Model-Based Testing Aujourd'hui}, author = {Bouquet, Fabrice}, year = {2012}, month = {jan} }

@inproceedings{fboj+12:np, title = {V\'erification et Test pour des syst\`emes \'evolutifs}, author = {Fourneret, Elizabeta and Bouquet, Fabrice and Ochoa, Martin and J\"urjens, Jan and Wenzel, Sven}, year = {2012}, address = {Grenoble, France}, booktitle = {AFADL'12, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {150--164} }

@inproceedings{bouquet11:it, title = {Graphical Model of MAS for Verification and Validation (Software engineering point of view)}, author = {Bouquet, Fabrice}, year = {2011}, month = {nov} }

@inproceedings{mbfj+11:it, title = {Orchestrating Security and System Engineering for Evolving Systems}, author = {Massacci, Fabio and Bouquet, Fabrice and Fourneret, Elizabeta and J\"urjens, Jan and Lund, Mass and Madel\'enat, S\'ebastien and Muehlberg, JanTobias and Paci, Federica and Paul, St\'ephane and Piessens, Frank and Solhaug, Bjornar and Wenzel, Sven}, year = {2011}, address = {Poznan, Poland}, booktitle = {Towards a Service-Based Internet}, month = {oct}, pages = {134--143}, url = {http://dx.doi.org/10.1007/978-3-642-24755-2_12}, volume = {6994}, doi = {10.1007/978-3-642-24755-2_12}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{fb11:oip, title = {UML/OCL based impact analysis to test evolving critical software}, author = {Fourneret, Elizabeta and Bouquet, Fabrice}, year = {2011}, address = {Ohrid, Macedonia}, booktitle = {ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf.}, month = {sep}, pages = {73--79} }

@inproceedings{fobj+11:ip, title = {Model-Based Security Verification and Testing for Smart-cards}, author = {Fourneret, Elizabeta and Ochoa, Martin and Bouquet, Fabrice and Botella, Julien and J\"urjens, Jan and Yousefi, Parvaneh}, year = {2011}, address = {Vienna, Austria}, booktitle = {ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security}, month = {aug}, pages = {272--279} }

@inproceedings{cblm11:ip, title = {Modelling of complex systems with AML as realized in MIRO project}, author = {Chipeaux, S\'ebastien and Bouquet, Fabrice and Lang, Christophe and Marilleau, Nicolas}, year = {2011}, address = {Lyon, France}, booktitle = {LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology)}, month = {aug}, pages = {159--162}, url = {http://dx.doi.org/10.1109/WI-IAT.2011.195}, doi = {10.1109/WI-IAT.2011.195} }

@inproceedings{fbdd11:ip, title = {Selective Test Generation Method for Evolving Critical Systems}, author = {Fourneret, Elizabeta and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Debricon, St\'ephane}, year = {2011}, address = {Berlin, Germany}, booktitle = {REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011}, month = {mar}, pages = {125--134}, url = {http://dx.doi.org/10.1109/ICSTW.2011.95}, doi = {10.1109/ICSTW.2011.95} }

@inproceedings{lblp10:ip, title = {SysML to UML model transformation for test generation purpose}, author = {Lasalle, Jonathan and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien}, year = {2010}, address = {Shanghai, China}, booktitle = {UML\&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods}, month = {nov}, number = {1}, pages = {1--8}, url = {https://publiweb.femto-st.fr/tntnet/entries/285/documents/author/data}, volume = {36}, doi = {10.1145/1921532.1921560}, series = {SIGSOFT Software Engineering Notes} }

@inproceedings{dkdb10:ip, title = {Assessing the Quality of B Models}, author = {de Kermadec, Adrien and Dadeau, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2010}, address = {Pisa, Italy}, booktitle = {SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods}, month = {sep}, pages = {83--90}, url = {http://dx.doi.org/10.1109/SEFM.2010.17}, doi = {10.1109/SEFM.2010.17} }

@inproceedings{bddkb10:ip, title = {Building a Test-ready Abstraction of a Behavioral Model using CLP}, author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and de Kermadec, Adrien and Bouquet, Fabrice}, year = {2010}, address = {Malaga, Spain}, booktitle = {TAP'10, 4-th Int. Conf. on Tests and Proofs}, editor = {Fraser, G. and Gargantini, A.}, month = {jul}, pages = {167--182}, volume = {6143}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{bjmb10:np, title = {Associer des techniques de preuve et de r\'esolution de contraintes pour la construction d'abstractions}, author = {Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2010}, address = {Poitiers, France}, booktitle = {10\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2010)}, month = {jun}, pages = {11 - 25}, url = {https://publiweb.femto-st.fr/tntnet/entries/426/documents/author/data} }

@inproceedings{bbjm10:ip, title = {Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests}, author = {Bouquet, Fabrice and Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2010}, address = {Paris, France}, booktitle = {3rd IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2010)}, month = {apr}, pages = {54 - 61}, url = {https://publiweb.femto-st.fr/tntnet/entries/253/documents/author/data}, doi = {10.1109/ICSTW.2010.47} }

@inproceedings{dbl09:np, title = {From Business Processes to Integration Testing}, author = {Debricon, St\'ephane and Bouquet, Fabrice and Legeard, Bruno}, year = {2009}, address = {Nancy, France}, booktitle = {IDM'09, 5\`emes journ\'ees sur l'Ing\'eni\'erie Dirig\'ee par les Mod\`eles}, editor = {Zendra, Olivier}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/420/documents/author/data}, volume = {1} }

@inproceedings{bbjm09:np, title = {G\'en\'eration de tests \`a partir de crit\`eres dynamiques de s\'election et par abstraction}, author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2009}, address = {Toulouse, France}, booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {161--176}, url = {https://publiweb.femto-st.fr/tntnet/entries/417/documents/author/data} }

@inproceedings{bbgl08:oip, title = {Agent based modelling of complex systems with AML and the situation calculus}, author = {Brocard, Thibaud and Bouquet, Fabrice and Giorgetti, Alain and Lang, Christophe}, year = {2008}, address = {Paris, France}, booktitle = {ABS2, Int. workshop on Agent Based Spatial Simulation}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/488/documents/author/data} }

@inproceedings{bglp08:oip, title = {A test generation solution to automate software testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe}, year = {2008}, address = {Leipzig, Germany}, booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test}, month = {may}, pages = {45--48}, url = {https://publiweb.femto-st.fr/tntnet/entries/483/documents/author/data}, doi = {10.1145/1370042.1370052} }

@inproceedings{pbl08:ip, title = {Automating UML Models Merge for Web Services Testing}, author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe}, year = {2008}, address = {Linz, Austria}, booktitle = {iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services}, pages = {55--62}, url = {https://publiweb.femto-st.fr/tntnet/entries/205/documents/author/data}, doi = {10.1145/1497308.1497322} }

@inproceedings{pbl07:oip, title = {A Model-Based Validation Framework for Web Services}, author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe}, year = {2007}, address = {Paris, France}, booktitle = {STV07, Procs of the 5th workshop on Systems Testing and Validation}, month = {dec}, pages = {63--76}, url = {https://publiweb.femto-st.fr/tntnet/entries/476/documents/author/data} }

@inproceedings{bglp+07:ip, title = {A subset of precise UML for model-based testing}, author = {Utting, Mark and Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien and Grandpierre, Christophe and Vacelet, Nicolas}, year = {2007}, address = {London, United Kingdom}, booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing}, month = {jul}, pages = {95--104}, url = {https://publiweb.femto-st.fr/tntnet/entries/178/documents/author/data}, doi = {10.1145/1291535.1291545} }

@inproceedings{ddgl+07:ip, title = {Towards automatic control for microfactories}, author = {Descourvi\`eres, E. and Debricon, St\'ephane and Gendreau, Dominique and Lutz, Philippe and Philippe, Laurent and Bouquet, Fabrice}, year = {2007}, address = {Montr\'eal, Qu\'ebec, Canada}, booktitle = {5th Int. Conf. on Industrial automation}, month = {jun}, pages = {***--***}, url = {https://publiweb.femto-st.fr/tntnet/entries/861/documents/author/data}, organization = {ETS} }

@inproceedings{llbb+07:ip, title = {Using Computer Science Modeling Techniques for Airport Security Certification}, author = {Laleau, R\'egine and Ledru, Yves and Bert, Didier and Bouquet, Fabrice and Lemoine, Michel and Dubois, Catherine and Vignes, Sylvie and Vigui\'e Donzeau-Gouge, V\'eronique.}, year = {2007}, address = {Ouarzazate, Morocco}, booktitle = {RCIS'07, 1st Int. Conf. on Research Challenges in Information Science}, month = {apr}, pages = {61--72} }

@inproceedings{bcdg07:ip, title = {Instantiation of Parameterized Data Structures for Model-Based Testing}, author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {96--110}, url = {https://publiweb.femto-st.fr/tntnet/entries/167/documents/author/data}, volume = {4355}, doi = {10.1007/11955757_10}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{bdg07:oip, title = {JML2B: Checking JML specifications with B machines}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference - Tool Session}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {285--288}, volume = {4355}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{lrlplb+07:oip, title = {EDEMOI: a methodology for security of air transport system}, author = {Lemoine, Michel and R. Lopez Ruiz, Eduardo and Ledru, Yves and Bert, Didier and Laleau, R\'egine and Peureux, Fabien and Bouquet, Fabrice and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Etienne, Jean-Fr\'ed\'eric and Vignes, Sylvie}, year = {2007}, booktitle = {EUCASS'10, 2nd European Conference on Aerospace Sciences} }

@inproceedings{bdln06:ip, title = {Extending the Unified Process with Model-Based Testing}, author = {Legeard, Bruno and Bouquet, Fabrice and Debricon, St\'ephane and Nicolet, Jean-Baptiste}, year = {2006}, address = {Genova, Italy}, booktitle = {MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification}, month = {oct}, pages = {2--15}, url = {https://publiweb.femto-st.fr/tntnet/entries/156/documents/author/data} }

@inproceedings{bbcl+06:ip, title = {Model-based Testing from UML Models}, author = {Bernard, Eddy and Bouquet, Fabrice and Charbonnier, Amandine and Legeard, Bruno and Peureux, Fabien and Utting, Mark and Torreborre, Eric}, year = {2006}, address = {Dresden, Germany}, booktitle = {Model-Based Testing Workshop (MBT 2006)}, editor = {bbcl+06:ip-editor.pdf}, month = {oct}, pages = {223 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/759/documents/author/data}, volume = {P-94}, series = {Lecture Notes in Informatics (LNI)} }

@inproceedings{bcddl+06:oip, title = {Model-Based Security Testing, Application to a Smart Card Identity Applet}, author = {Bouquet, Fabrice and Celletti, F. and Debois, Georges and De Lavernette, A. and Jaffuel, Eddie and Julliand, Jacques and Legeard, Bruno and Lidoine, J. and Plessis, J.-C. and Masson, Pierre-Alain}, year = {2006}, address = {Sophia-Antipolis, France}, booktitle = {eSmart 2006, 7th Int. Conf. on Smart Cards}, month = {sep} }

@inproceedings{bdl06:ip, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Hamilton, Canada}, booktitle = {FM'06, 14th Int. Conf. on Formal Methods}, editor = {Nipkow, T. and Misra, J.}, month = {aug}, pages = {428--443}, volume = {4085}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{bdgj06:ip, title = {Safety Property Driven Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien and Julliand, Jacques}, year = {2006}, address = {Seatte, United States}, booktitle = {1st International Workshops Formal Approaches to Software Testing and International Conference on Runtime Verification (FATES/RV 2006)}, month = {aug}, pages = {225 - 239}, url = {https://publiweb.femto-st.fr/tntnet/entries/151/documents/author/data}, volume = {4262}, doi = {10.1007/11940197_15}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{bblv06:ip, title = {Validation of Regulation Documents by Automated Analysis of Formal Models}, author = {Bert, Didier and Bouquet, Fabrice and Ledru, Yves and Vignes, Sylvie}, year = {2006}, address = {Luxembourg, Luxembourg}, booktitle = {REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06)}, month = {jun}, pages = {800--805} }

@inproceedings{bdl06:onp, title = {JML-Testing-Tools, un Animateur Symbolique de Sp\'ecifications JML}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/522/documents/author/data} }

@inproceedings{c0177dff-357a-486a-8f76-0b079084dadd, title = {How Symbolic Animation can help designing an Efficient Formal Model}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2005}, address = {Manchester, United Kingdom}, booktitle = {Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05)}, editor = {}, month = {nov}, pages = {96--110}, volume = {3785}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{3f546fdb-472c-4dc2-9897-ef6cbaa2fa4c, title = {Symbolic Animation of JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark}, year = {2005}, address = {Newcastle Upon Tyne, United Kingdom}, booktitle = {Procs of the Int. Conf. on Formal Methods (FM'2005)}, editor = {}, month = {jul}, pages = {75--90}, volume = {3582}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{ea2d260f-2958-454d-87be-74f683d1feb2, title = {Using Constraint Logic Programming for the Symbolic Animation of Formal Models}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2005}, address = {Tallinn, Estonia}, booktitle = {Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05)}, editor = {}, month = {jul}, pages = {32--46} }

@inproceedings{e36cbe8d-0496-488f-911c-67c54caf9aa1, title = {Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation}, author = {Bouquet, Fabrice and Jaffuel, Eddie and Legeard, Bruno and Peureux, Fabien and Utting, Mark}, year = {2005}, address = {St. Louis, United States}, booktitle = {Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05)}, editor = {}, month = {may}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/6992/documents/author/data}, publisher = {Association for Computing Machinery (ACM)} }

@inproceedings{674f66e3-5069-42fe-b852-94e2446b8167, title = {JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark}, year = {2005}, address = {Edinburgh, United Kingdom}, booktitle = {Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05)}, editor = {}, month = {apr}, pages = {551--556}, volume = {3440}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{cf428396-271a-4595-8cbf-f036e1e47ce2, title = {Checking JML Specifications with B Machines}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien}, year = {2005}, address = {Guildford, United Kingdom}, booktitle = {Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05)}, editor = {}, month = {apr}, pages = {435--454}, volume = {3455}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }