Catherine Oriat

According to our database, Catherine Oriat authored at least 32 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Improving Model Learning by Inferring Separating Sequences from Traces.

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 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, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

2021

Improving Model Inference via W-Set Reduction.

Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão

Proceedings of the Testing Software and Systems, 2021

2020

<i>hW</i>-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

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool.

Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat

Proceedings of the Joint Proceedings of SEED & NLPaSE co-located with 27th Asia Pacific Software Engineering Conference 2020, 2020

2019

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

2018

Revisiting AI and testing methods to infer FSM models of black-box systems.

Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Inferring FSM Models of Systems Without Reset.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017

From Passive to Active FSM Inference via Checking Sequence Construction.

Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat

Proceedings of the Testing Software and Systems, 2017

Adaptive Localizer Based on Splitting Trees.

Roland Groz, Adenilso da Silva Simão, Catherine Oriat

Proceedings of the Testing Software and Systems, 2017

2016

Applying a Pairwise Coverage Criterion to Scenario-Based Testing.

Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Inferring Non-resettable Mealy Machines with n States.

Roland Groz, Catherine Oriat, Nicolas Brémond

Proceedings of the 13th International Conference on Grammatical Inference, 2016

2015

Inferring Finite State Machines Without Reset Using State Identification Sequences.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Testing Software and Systems, 2015

2014

Automatic Model Inference of Web Applications for Security Testing.

Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Inferring Approximated Models for Systems Engineering.

Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Model inference and security testing in the spacios project.

Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat

Proceedings of the 2014 Software Evolution Week, 2014

2013

Model Inference and Testing.

Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz

Adv. Comput., 2013

Automatic Generation of Test Drivers for Model Inference of Web Applications.

Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Improving Model Inference of Black Box Components having Large Input Test Set.

Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.

Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

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

2009

Service specification and validation in the context of the home.

Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2007

Formal Testing of Multimodal Interactive Systems.

Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2005

Jartege: A Tool for Random Generation of Unit Tests for Java Classes.

Catherine Oriat

Proceedings of the Quality of Software Architectures and Software Quality, 2005

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach.

Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004

Case Study in JML-Based Software Validation.

Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2001

Test Purposes: Adapting the Notion of Specification to Testing.

Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Detecting equivalence of modular specifications with categorical diagrams.

Catherine Oriat

Theor. Comput. Sci., 2000

1996

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

Catherine Oriat

PhD thesis, 1996

1995

A Model Inference System for Generic Specification with Application to Code Sharing.

Didier Bert, Catherine Oriat

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Detecting Isomorphisms of Modular Specifications with Diagrams.

Catherine Oriat

Proceedings of the Algebraic Methodology and Software Technology, 1995