Detecting Isomorphisms of Modular Specifications with Diagrams. - Catherine Oriat (AMAST, 1995)

A Model Inference System for Generic Specification with Application to Code Sharing. - Didier Bert; Catherine Oriat (TAPSOFT, 1995)

Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. (Modular specifications: finite colimits constructions, diagrams, isomorphisms). - Catherine Oriat (1996)

Detecting equivalence of modular specifications with categorical diagrams. - Catherine Oriat (Theor. Comput. Sci., 2000)

Test Purposes: Adapting the Notion of Specification to Testing. - Yves Ledru; Lydie du Bousquet; Pierre Bontron; Olivier Maury; Catherine Oriat; Marie-Laure Potet (ASE, 2001)

Case Study in JML-Based Software Validation. - Lydie du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet (ASE, 2004)

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. - Laya Madani; Catherine Oriat; Ioannis Parissis; Jullien Bouchet; Laurence Nigay (ISSRE, 2005)

Jartege: A Tool for Random Generation of Unit Tests for Java Classes. - Catherine Oriat (QoSA/SOQUA, 2005)

Formal Testing of Multimodal Interactive Systems. - Jullien Bouchet; Laya Madani; Laurence Nigay; Catherine Oriat; Ioannis Parissis (EHCI/DS-VIS, 2007)

Service specification and validation in the context of the home. - Lydie du Bousquet; Ajitha Rajan; Catherine Oriat; Jean-Luc Richier; Germán Vega (ICFI, 2009)

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. - Lydie du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet (J. Autom. Reason., 2010)

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. - Roland Groz; Muhammad-Naeem Irfan; Catherine Oriat (ISoLA (1), 2012)

Improving Model Inference of Black Box Components having Large Input Test Set. - Muhammad-Naeem Irfan; Roland Groz; Catherine Oriat (ICGI, 2012)

Automatic Generation of Test Drivers for Model Inference of Web Applications. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2013)

Model Inference and Testing. - Muhammad-Naeem Irfan; Catherine Oriat; Roland Groz (Adv. Comput., 2013)

Model inference and security testing in the spacios project. - Matthias Büchler; Karim Hossen; Petru Florin Mihancea; Marius Minea; Roland Groz; Catherine Oriat (CSMR-WCRE, 2014)

Inferring Approximated Models for Systems Engineering. - Alexandre Petrenko; Keqin Li 002; Roland Groz; Karim Hossen; Catherine Oriat (HASE, 2014)

Automatic Model Inference of Web Applications for Security Testing. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2014)

Inferring Finite State Machines Without Reset Using State Identification Sequences. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (ICTSS, 2015)

Inferring Non-resettable Mealy Machines with n States. - Roland Groz; Catherine Oriat; Nicolas Brémond (ICGI, 2016)

Applying a Pairwise Coverage Criterion to Scenario-Based Testing. - Lydie du Bousquet; Mickaël Delahaye; Catherine Oriat (ICST Workshops, 2016)

Adaptive Localizer Based on Splitting Trees. - Roland Groz; Adenilso da Silva Simão; Catherine Oriat (ICTSS, 2017)

From Passive to Active FSM Inference via Checking Sequence Construction. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (ICTSS, 2017)

Inferring FSM Models of Systems Without Reset. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (Machine Learning for Dynamic Software Analysis, 2018)

Revisiting AI and testing methods to infer FSM models of black-box systems. - Roland Groz; Adenilso Simão; Nicolas Brémond; Catherine Oriat (AST@ICSE, 2018)

FSM inference and checking sequence construction are two sides of the same coin. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (Softw. Qual. J., 2019)

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. - Bahareh Afshinpour; Roland Groz; Massih-Reza Amini; Yves Ledru; Catherine Oriat (SEED/NLPaSE@APSEC, 2020)

hW-inference: A heuristic approach to retrieve models through black box testing. - Roland Groz; Nicolas Brémond; Adenilso da Silva Simão; Catherine Oriat (J. Syst. Softw., 2020)

Improving Model Inference via W-Set Reduction. - Moritz Halm; Rafael S. Braz; Roland Groz; Catherine Oriat; Adenilso Simão (ICTSS, 2021)

Active Inference of EFSMs Without Reset. - Michael Foster 001; Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw (ICFEM, 2023)

Active Inference of Extended Finite State Models of Software Systems. - Roland Groz; Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster 001; Neil Walkinshaw (ICGI, 2023)

Improving Model Learning by Inferring Separating Sequences from Traces. - Rafael S. Braz; Adenilso da Silva Simão; Roland Groz; Catherine Oriat (ICSTW, 2023)

Learning EFSM Models with Registers in Guards. - Germán Vega; Roland Groz; Catherine Oriat; Michael Foster 001; Neil Walkinshaw; Adenilso Simão (CoRR, 2024)