Catherine Oriat
Orcid: 0000-0002-5674-0855
According to our database1,
Catherine Oriat
authored at least 33 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023
Proceedings of the International Conference on Grammatical Inference, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
2021
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
Proceedings of the Joint Proceedings of SEED & NLPaSE co-located with 27th Asia Pacific Software Engineering Conference 2020, 2020
2019
Softw. Qual. J., 2019
2018
Proceedings of the 13th International Workshop on Automation of Software Test, 2018
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018
2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the Testing Software and Systems, 2017
2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
Proceedings of the 13th International Conference on Grammatical Inference, 2016
2015
Proceedings of the Testing Software and Systems, 2015
2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the 2014 Software Evolution Week, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
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
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
2005
Proceedings of the Quality of Software Architectures and Software Quality, 2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
2000
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
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Algebraic Methodology and Software Technology, 1995