All Stories

  1. Hunting Inside N-Quantiles of Outliers (Hino)

    Article • January 2025, Springer Science + Business Media

    Professor Fabrice Bouquet

  2. Multidimensional Adaptative kNN over Tracking Outliers (Makoto)

    Article • January 2023, Springer Science + Business Media

    Professor Fabrice Bouquet

  3. An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices

    Article • JUCS - Journal of Universal Computer Science, July 2021, Pensoft Publishers

    Professor Fabrice Bouquet

  4. Contract-based testing for PHP with Praspel

    Article • Journal of Systems and Software, February 2018, Elsevier

    Professor Fabrice Bouquet

  5. Model-Based Testing for Internet of Things Systems

    Article • January 2018, Elsevier

    Professor Fabrice Bouquet

  6. Model-Based Testing as a Service for IoT Platforms

    Article • January 2016, Springer Science + Business Media

    Professor Fabrice Bouquet

  7. Recent Advances in Model-Based Testing

    Article • January 2016, Elsevier

    Professor Fabrice Bouquet

  8. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing

    Article • January 2015, Springer Science + Business Media

    Professor Fabrice Bouquet

  9. Tooled Process for Early Validation of SysML Models Using Modelica Simulation

    Article • January 2015, Springer Science + Business Media

    Professor Fabrice Bouquet

  10. Modeling and simulation of modular complex system: Application to air-jet conveyor

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  11. SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  12. Test generation with Satisfiability Modulo Theories solvers in model-based testing

    Article • Software Testing Verification and Reliability, May 2014, Wiley

    Professor Fabrice Bouquet

  13. Model-Based Testing for Functional and Security Test Generation

    Article • January 2014, Springer Science + Business Media

    Professor Fabrice Bouquet

  14. A Constraint Solver for PHP Arrays

    Article • March 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  15. Strategies Comparison of Test Generation from UML Using SMT Solver

    Article • March 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  16. Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience

    Article • March 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  17. Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing

    Article • January 2013, Springer Science + Business Media

    Professor Fabrice Bouquet

  18. Ramos: Concurrent writing and reconfiguration for collaborative systems

    Article • Journal of Parallel and Distributed Computing, May 2012, Elsevier

    Professor Fabrice Bouquet

  19. Grammar-Based Testing Using Realistic Domains in PHP

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  20. Managing Evolution by Orchestrating Requirements and Testing Engineering Processes

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  21. Transformation of SysML Structure Diagrams to VHDL-AMS

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  22. Transformation rules from UML4MBT meta-model to SMT meta-model for model animation

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  23. Test Generation Using Symbolic Animation of Models

    Article • September 2011, Taylor & Francis

    Professor Fabrice Bouquet

  24. Model-Based Security Verification and Testing for Smart-cards

    Article • August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  25. Modelling of Complex Systems with AML as Realized in MIRO Project

    Article • August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  26. Selective Test Generation Method for Evolving Critical Systems

    Article • March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  27. SysML to UML model transformation for test generation purpose

    Article • ACM SIGSOFT Software Engineering Notes, January 2011, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  28. Orchestrating Security and System Engineering for Evolving Systems

    Article • January 2011, Springer Science + Business Media

    Professor Fabrice Bouquet

  29. Assessing the Quality of B Models

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  30. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

    Article • April 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  31. Building a Test-Ready Abstraction of a Behavioral Model Using CLP

    Article • January 2010, Springer Science + Business Media

    Professor Fabrice Bouquet

  32. Automated UML models merging for web services testing

    Article • International Journal of Web and Grid Services, January 2009, Inderscience Publishers

    Professor Fabrice Bouquet

  33. Using Common Criteria to Assess Quality of Web Services

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Fabrice Bouquet

  34. Automating UML models merge for web services testing

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  35. A test generation solution to automate software testing

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  36. A subset of precise UML for model-based testing

    Article • January 2007, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  37. Automated Boundary Test Generation from JML Specifications

    Article • January 2006, Springer Science + Business Media

    Professor Fabrice Bouquet

  38. JML2B: Checking JML Specifications with B Machines

    Article • January 2006, Springer Science + Business Media

    Professor Fabrice Bouquet

  39. Instantiation of Parameterized Data Structures for Model-Based Testing

    Article • January 2006, Springer Science + Business Media

    Professor Fabrice Bouquet

  40. Safety Property Driven Test Generation from JML Specifications

    Article • January 2006, Springer Science + Business Media

    Professor Fabrice Bouquet

  41. Symbolic Animation of JML Specifications

    Article • January 2005, Springer Science + Business Media

    Professor Fabrice Bouquet

  42. JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP

    Article • January 2005, Springer Science + Business Media

    Professor Fabrice Bouquet

  43. Mastering Test Generation from Smart Card Software Formal Models

    Article • January 2005, Springer Science + Business Media

    Professor Fabrice Bouquet

  44. How Symbolic Animation Can Help Designing an Efficient Formal Model

    Article • January 2005, Springer Science + Business Media

    Professor Fabrice Bouquet

  45. Checking JML Specifications with B Machines

    Article • January 2005, Springer Science + Business Media

    Professor Fabrice Bouquet

  46. Requirements traceability in automated test generation

    Article • January 2005, ACM (Association for Computing Machinery)

    Professor Fabrice Bouquet

  47. 8.2.1 Automated Test Generation and Execution for Automotive Embedded Software

    Article • INCOSE International Symposium, June 2004, Wiley

    Professor Fabrice Bouquet

  48. Faster Analysis of Formal Specifications

    Article • January 2004, Springer Science + Business Media

    Professor Fabrice Bouquet

  49. CLPS–B – A constraint solver to animate a B specification

    Article • International Journal on Software Tools for Technology Transfer, December 2003, Springer Science + Business Media

    Professor Fabrice Bouquet

  50. Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study

    Article • January 2003, Springer Science + Business Media

    Professor Fabrice Bouquet

  51. CLPS-B—A Constraint Solver for B

    Article • January 2002, Springer Science + Business Media

    Professor Fabrice Bouquet

  52. Using OBDDs to handle dynamic constraints

    Article • Information Processing Letters, May 1997, Elsevier

    Professor Fabrice Bouquet

  53. Solving over-constrained CSP using weighted OBDDs

    Article • January 1996, Springer Science + Business Media

    Professor Fabrice Bouquet