Search Results - Groz, Roland

Refine Results
  1. 1
    Analysis and testing of black-box component-based systems by inferring partial models

    Analysis and testing of black-box component-based systems by inferring partial models by Shahbaz, Muzammil, Groz, Roland

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    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:
  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
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    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:
  5. 5
    Confirming configurations in EFSM testing

    Confirming configurations in EFSM testing by Petrenko, A., Boroday, S., Groz, R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Integration testing of communicating systems with unknown components

    Integration testing of communicating systems with unknown components by Groz, Roland, Li, Keqin, Petrenko, Alexandre

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Extending Specification Patterns for Verification of Parametric Traces

    Extending Specification Patterns for Verification of Parametric Traces by Blein, Yoann, Ledru, Yves, du Bousquet, Lydie, Groz, Roland

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Semantic Log Partitioning: Towards Automated Root Cause Analysis

    Semantic Log Partitioning: Towards Automated Root Cause Analysis by Afshinpour, Bahareh, Amini, Massih-Reza, Groz, Roland

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    Telemetry-Based Software Failure Prediction by Concept-Space Model Creation

    Telemetry-Based Software Failure Prediction by Concept-Space Model Creation by Afshinpour, Bahareh, Groz, Roland, Amini, Massih-Reza

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    LigRE: Reverse-engineering of control and data flow models for black-box XSS detection

    LigRE: Reverse-engineering of control and data flow models for black-box XSS detection by Duchene, Fabien, Rawat, Sanjay, Richier, Jean-Luc, Groz, Roland

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    A Review of Intrusion Detection Systems for Industrial Control Systems

    A Review of Intrusion Detection Systems for Industrial Control Systems by Kaouk, Mohamad, Flaus, Jean-Marie, Potet, Marie-Laure, Groz, Roland

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    A Taint Based Approach for Smart Fuzzing

    A Taint Based Approach for Smart Fuzzing by Bekrar, S., Bekrar, C., Groz, R., Mounier, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    Finding Software Vulnerabilities by Smart Fuzzing

    Finding Software Vulnerabilities by Smart Fuzzing by Bekrar, Sofia, Bekrar, Chaouki, Groz, Roland, Mounier, Laurent

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing

    XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing by Duchene, F., Groz, R., Rawat, S., Richier, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Can a Model Checker Generate Tests for Non-Deterministic Systems?

    Can a Model Checker Generate Tests for Non-Deterministic Systems? by Boroday, Sergiy, Petrenko, Alexandre, Groz, Roland

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

    Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities by Nguyen, Manh-Dung, Bardin, Sébastien, Bonichon, Richard, Groz, Roland, Lemerre, Matthieu

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

    A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information by Grasland, Yves, du Bousquet, Lydie, Groz, Roland, Parissis, Ioannis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: