Catherine Oriat

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 14

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat
Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW (2023)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
Improving Model Inference via W-Set Reduction. ICTSS (2021)
Roland Groz, Nicolas Brémond, Adenilso da Silva Simão, Catherine Oriat
-inference: A heuristic approach to retrieve models through black box testing. J. Syst. Softw. 159 (2020)
Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. SEED/NLPaSE@APSEC (2020)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27 (2) (2019)
Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE (2018)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis (2018)
Roland Groz, Adenilso da Silva Simão, Catherine Oriat
Adaptive Localizer Based on Splitting Trees. ICTSS (2017)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS (2017)
Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat
Applying a Pairwise Coverage Criterion to Scenario-Based Testing. ICST Workshops (2016)
Roland Groz, Catherine Oriat, Nicolas Brémond
Inferring Non-resettable Mealy Machines with n States. ICGI (2016)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS (2015)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Model Inference of Web Applications for Security Testing. ICST Workshops (2014)
Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
Model inference and security testing in the spacios project. CSMR-WCRE (2014)
Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
Inferring Approximated Models for Systems Engineering. HASE (2014)
Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz
Model Inference and Testing. Adv. Comput. 89 (2013)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Generation of Test Drivers for Model Inference of Web Applications. ICST Workshops (2013)
Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat
Improving Model Inference of Black Box Components having Large Input Test Set. ICGI (2012)
Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. ISoLA (1) (2012)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reason. 45 (4) (2010)
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
Service specification and validation in the context of the home. ICFI (2009)
Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis
Formal Testing of Multimodal Interactive Systems. EHCI/DS-VIS (2007)
Catherine Oriat
Jartege: A Tool for Random Generation of Unit Tests for Java Classes. QoSA/SOQUA (2005)
Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. ISSRE (2005)
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
Case Study in JML-Based Software Validation. ASE (2004)
Catherine Oriat
Jartege: a Tool for Random Generation of Unit Tests for Java Classes CoRR (2004)
Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
Test Purposes: Adapting the Notion of Specification to Testing. ASE (2001)
Catherine Oriat
Detecting equivalence of modular specifications with categorical diagrams. Theor. Comput. Sci. 247 (1-2) (2000)
Catherine Oriat
Detecting Isomorphisms of Modular Specifications with Diagrams. AMAST (1995)
Didier Bert, Catherine Oriat
A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT (1995)

Catherine Oriat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Catherine Oriat