Catherine Oriat

Publications

• Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw. Active Inference of EFSMs Without Reset. ICFEM 2023, pages 29-46, 2023


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


• Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat. Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW 2023, pages 45-51


• Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão. Improving Model Inference via W-Set Reduction. ICTSS 2021, pages 90-105, 2021


• Roland Groz, Nicolas Brémond, Adenilso da Silva Simao, Catherine Oriat. hW-inference: A heuristic approach to retrieve models through black box testing. Journal of Systems and Software, 159, 2020.


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


• Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat. FSM inference and checking sequence construction are two sides of the same coin. Software Quality Journal. 27(2), pages 651-674, 2019.


• Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis, pages 178-201, 2018.


• Roland Groz, Adenilso Simao, Nicolas Bremond, Catherine Oriat. Revisiting AI and testing methods to infer FSM models of black-box systems. AST Workshop, ICSE conference, pages 16-19, 2018.


• Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat. From Passive to Active FSM Inference via Checking Sequence Construction. 29th IFIP International Conference on Testing Software and Systems (ICTSS'17). pages 126-141, 2017.


• Roland Groz, Adenilso Simao, Catherine Oriat. From Passive to Active FSM Inference via Checking Sequence Construction 29th IFIP International Conference on Testing Software and Systems (ICTSS'17). pages 326-332, 2017.


• Roland Groz, Catherine Oriat, Nicolas Bremon. Inferring Non-resettable Mealy Machines with n States. In International Conference on Grammatical Inference 2016 (ICGI'16), Delft, Netherlands, Oct 2016.
  
  
• Catherine Oriat, Roland Groz, Emmanuel Perrier. SIMPA - Simpa Infers Models Pretty Automatically (Outils). In Approches formelles dans l'assistance au développement de logiciel (AFADL'16), Besançon, Juin 2016.
  
  
• Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat. Applying a Pairwise Coverage Criterion to Scenario-Based Testing. In Fifth International Workshop on Combinatorial Testing (IWCT 2016), pages 83-91, Apr 2016.
  
  
• Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. In International Conference on Testing Software and Systems, (ICTSS 2015), Dubai, Nov 2015.
  
  
• Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic Model Inference of Web Applications for Security Testing. In 5th International Workshop on Security Testing (SECTEST 2014), Workshop of the IEEE 7th International Conference on Software Testing, Verification and Validation (ICST 2014), Cleveland, Ohio, USA, 2014.
  
  
• Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), pages 249-253, Miami, Florida, USA, 2014
  
  
• Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model Inference and Security Testing in the SPaCIoS Project. In IEEE Working Conference on Reverse Engineering (CSMR-WCRE 2014), pages 411-414, Antwerp, Belgique, 2014.
  
  
• Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic generation of test drivers for model inference of web applications. In Fourth International Workshop on Security Testing (SECTEST 2013), Workshop of the IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST2013), pages 441-444, Luxembourg, Mars 2013.
  
  
• Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. In Advances in Computers, Volume 89, pages 89-139, Atif Memon editor, Elsevier, apr 2013.
  
  
• Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, pages 444-457, Octobre 2012.
  
  
• Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, pages 133-138, Septembre 2012.
  
  
• Muhammad Naeem Irfan, Roland Groz and Catherine Oriat. Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples. Zulu Workshop, Valencia, September 16, 2010.
  
  
• Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. 1st International Workshop on Model Inference In Testing, MIIT 2010, pages 11-19, Trento, 12-17 July 2010.
  
  
• Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automatic Reasoning, Special issue on Tests and Proofs, volume 45, number 4, pages 415-435, 2010.
  
  
• Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), pages 207-219, Lisbon, Portugal, Juin 2009.
  
  
• J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis. Formal Testing of Multimodal Interactive Systems. In Engineering Interactive Systems (EIS'07), Salamanca, Spain, Mar 2007.
  
  
• L. Madani, C. Oriat, I. Parissis, J. Bouchet, L. Nigay. Synchronous Testing of Multimodal System: An Operational Profile-Based Approach. In 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), Chicago, USA, Nov 2005.
  
  
• C. Oriat. Jartege: A Tool for Random Generation of Unit Tests for Java Classes. In Quality of Sofware Architectures and Software Quality, 2nd International Workshop of Software Quality - SOQUA'05, LNCS 3712, pages 242-256, Erfurt, Germany, Sept 2005. (pdf)
  The original publication is available at: http://www.springeronline.com/lncs
  
  
• L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation. In (short paper) Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), IEEE CS Press, Linz, Sep. 2004.
  
  
• C. Oriat. Jartege: a Tool for Random Generation of Unit Tests for Java Classes. Rapport de recherche LSR-IMAG, RR 1069. Juin 2004. (pdf)
  
  
• D. Duval, C. Lair, C. Oriat and J.-C. Reynaud. A zooming process for specifications with an application to exceptions. Rapport de recherche IMAG-LMC numéro 1055. Mars 2003. (pdf)
  
  
• P. Bontron, O. Maury, L. du Bousquet, Y. Ledru, C. Oriat and M.-L. Potet. TOBIAS : un environnement pour la création d'objectifs de test à partir de schémas de test. In 14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2000, Paris, France, 2001.
  
  
• Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, and M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, San Diego, november 2001. IEEE Computer Society Press.
  
  
• Olivier Maury, Catherine Oriat, Yves Ledru. Invariants de liaison pour la cohérence de vues statique et dynamique en UML. Approches formelles dans l'assistance au développement de logiciel AFADL'01, Nancy, 2001.
  
  
• Catherine Oriat. Detecting equivalence of modular specifications with categorical diagrams. Theoretical Computer Science 247 (2000) 141-190. (abstract)
  
  
• Yves Ledru, Catherine Oriat et Marie-Laure Potet. Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware. Approches formelles dans l'assistance au développement de logiciel AFADL'98, Poitiers - Futuroscope, 1998. (pdf)
  
  
• Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. Rapport de recherche LSR-IMAG, RR-964-I-LSR-3, Novembre 1996. (pdf)
  
  
• Catherine Oriat. Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Thèse de doctorat, INPG, Grenoble, Janvier 1996. (pdf, abstract)
  Thèse également publiée, en trois parties, dans la revue Diagrammes, Université Paris VII :
  Partie I : Diagrammes, Volume 39, juillet 1998
  Partie II : Diagrammes, Volume 40, décembre 1998
  Partie III : Diagrammes, Volume 41, juillet 1999
  
  
• Catherine Oriat. Detecting isomorphisms of modular specifications with diagrams. In Proceedings of AMAST'95, Fourth International Conference on Algebraic Methodology and Software Technology, Montréal, Canada, July 1995. LNCS 936, pages 184-198, Springer-Verlag, 1995. (pdf)
  
  
• Didier Bert and Catherine Oriat. A model inference system for generic specification with application to code sharing. In Proceedings of TAPSOFT'95, Sixth International Joint Conference on Theory and Practice of Software Development, Aarhus, Denmark, May 1995. LNCS 915, pages 741-755, Springer-Verlag, 1995. (pdf)
  
  
• Catherine Oriat. Representing modular specifications as diagrams. In Compte Rendu des Journées du GDR Programmation, Lille, pages 53-68, Septembre 1994.
  
  
• Catherine Oriat. Spécification de types abstraits et de structures de contrôle dans un cadre catégoriel. Projet de DEA, LGI-IMAG, Juin 1992. (pdf)
  
  
• Catherine Oriat. Interpretation of lambda-calculus. Projet de troisième année ENSIMAG, effectué à Imperial College, Londres, Juin 1991.