Catherine Oriat

According to our database1, Catherine Oriat authored at least 27 papers between 1995 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
hW-inference: A heuristic approach to retrieve models through black box testing.
J. Syst. Softw., 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. Reasoning, 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...