Search Results - Oriat, Catherine

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    hW-inference: A heuristic approach to retrieve models through black box testing

    hW-inference: A heuristic approach to retrieve models through black box testing by Groz, Roland, Bremond, Nicolas, Simao, Adenilso, Oriat, Catherine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    FSM inference and checking sequence construction are two sides of the same coin

    FSM inference and checking sequence construction are two sides of the same coin by Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    FSM inference and checking sequence construction are two sides of the same coin

    FSM inference and checking sequence construction are two sides of the same coin by Petrenko, Alexandre, Avellaneda, Florent, Groz, Roland, Oriat, Catherine

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Improving Model Inference of Black Box Components having Large Input Test Set

    Improving Model Inference of Black Box Components having Large Input Test Set by Irfan, Muhammad Naeem, Groz, Roland, Oriat, Catherine

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies

    Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies by du Bousquet, Lydie, Ledru, Yves, Maury, Olivier, Oriat, Catherine, Lanet, Jean-Louis

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Inferring Approximated Models for Systems Engineering

    Inferring Approximated Models for Systems Engineering by Petrenko, Alexandre, Keqin Li, Groz, Roland, Hossen, Karim, Oriat, Catherine

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Detecting equivalence of modular specifications with categorical diagrams

    Detecting equivalence of modular specifications with categorical diagrams by Oriat, Catherine

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Learning EFSM Models with Registers in Guards

    Learning EFSM Models with Registers in Guards by Vega, Germán, Groz, Roland, Oriat, Catherine, Foster, Michael, Walkinshaw, Neil, Simão, Adenilso

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Synchronous testing of multimodal systems: an operational profile-based approach

    Synchronous testing of multimodal systems: an operational profile-based approach by Madani, L., Oriat, C., Parissis, I., Bouchet, J., Nigay, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Jartege: a Tool for Random Generation of Unit Tests for Java Classes

    Jartege: a Tool for Random Generation of Unit Tests for Java Classes by Oriat, Catherine

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Automatic Generation of Test Drivers for Model Inference of Web Applications

    Automatic Generation of Test Drivers for Model Inference of Web Applications by Hossen, Karim, Groz, Roland, Oriat, Catherine, Richier, Jean-Luc

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: