Catherine Oriat

Orcid: 0000-0002-5674-0855

According to our database1, Catherine Oriat authored at least 33 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Learning EFSM Models with Registers in Guards.
CoRR, 2024

2023
Improving Model Learning by Inferring Separating Sequences from Traces.
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.
Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.
Proceedings of the Formal Methods and Software Engineering, 2023

2021
Improving Model Inference via W-Set Reduction.
Proceedings of the Testing Software and Systems, 2021

2020
<i>hW</i>-inference: A heuristic approach to retrieve models through black box testing.
J. Syst. Softw., 2020

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool.
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.
Softw. Qual. J., 2019

2018
Revisiting AI and testing methods to infer FSM models of black-box systems.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Inferring FSM Models of Systems Without Reset.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017
From Passive to Active FSM Inference via Checking Sequence Construction.
Proceedings of the Testing Software and Systems, 2017

Adaptive Localizer Based on Splitting Trees.
Proceedings of the Testing Software and Systems, 2017

2016
Applying a Pairwise Coverage Criterion to Scenario-Based Testing.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Inferring Non-resettable Mealy Machines with n States.
Proceedings of the 13th International Conference on Grammatical Inference, 2016

2015
Inferring Finite State Machines Without Reset Using State Identification Sequences.
Proceedings of the Testing Software and Systems, 2015

2014
Automatic Model Inference of Web Applications for Security Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Inferring Approximated Models for Systems Engineering.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Model inference and security testing in the spacios project.
Proceedings of the 2014 Software Evolution Week, 2014

2013
Model Inference and Testing.
Adv. Comput., 2013

Automatic Generation of Test Drivers for Model Inference of Web Applications.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Improving Model Inference of Black Box Components having Large Input Test Set.
Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.
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.
J. Autom. Reason., 2010

2009
Service specification and validation in the context of the home.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2007
Formal Testing of Multimodal Interactive Systems.
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.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004
Case Study in JML-Based Software Validation.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2001
Test Purposes: Adapting the Notion of Specification to Testing.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Detecting equivalence of modular specifications with categorical diagrams.
Theor. Comput. Sci., 2000

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

1995
A Model Inference System for Generic Specification with Application to Code Sharing.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Detecting Isomorphisms of Modular Specifications with Diagrams.
Proceedings of the Algebraic Methodology and Software Technology, 1995


  Loading...