Catherine Oriat

33 papers A* 2A 1C 5Journal 6Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Learning EFSM Models with Registers in Guards. CoRR Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
2023	C	`conf`	Active Inference of EFSMs Without Reset. ICFEM Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
2023	—	`conf`	Active Inference of Extended Finite State Models of Software Systems. ICGI Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
2023	—	`conf`	Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat
2021	C	`conf`	Improving Model Inference via W-Set Reduction. ICTSS Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
2020	—	`conf`	Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. SEED/NLPaSE@APSEC Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
2019	J	`jnl`	FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2018	—	`conf`	Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2018	—	`conf`	Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
2017	C	`conf`	Adaptive Localizer Based on Splitting Trees. ICTSS Roland Groz, Adenilso da Silva Simão, Catherine Oriat
2017	C	`conf`	From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2016	—	`conf`	Applying a Pairwise Coverage Criterion to Scenario-Based Testing. ICST Workshops Lydie du Bousquet, Mickaël Delahaye, Catherine Oriat
2016	—	`conf`	Inferring Non-resettable Mealy Machines with n States. ICGI Roland Groz, Catherine Oriat, Nicolas Brémond
2015	C	`conf`	Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2014	—	`conf`	Automatic Model Inference of Web Applications for Security Testing. ICST Workshops Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
2014	—	`conf`	Inferring Approximated Models for Systems Engineering. HASE Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
2014	—	`conf`	Model inference and security testing in the spacios project. CSMR-WCRE Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
2013	—	`conf`	Automatic Generation of Test Drivers for Model Inference of Web Applications. ICST Workshops Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
2013	J	`jnl`	Model Inference and Testing. Adv. Comput. Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz
2012	—	`conf`	Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. ISoLA (1) Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat
2012	—	`conf`	Improving Model Inference of Black Box Components having Large Input Test Set. ICGI Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat
2010	J	`jnl`	Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. J. Autom. Reason. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
2009	—	`conf`	Service specification and validation in the context of the home. ICFI Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
2007	—	`conf`	Formal Testing of Multimodal Interactive Systems. EHCI/DS-VIS Jullien Bouchet, Laya Madani, Laurence Nigay, Catherine Oriat, Ioannis Parissis
2005	—	`conf`	Jartege: A Tool for Random Generation of Unit Tests for Java Classes. QoSA/SOQUA Catherine Oriat
2005	A	`conf`	Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. ISSRE Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay
2004	A*	`conf`	Case Study in JML-Based Software Validation. ASE Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
2004	J	`jnl`	Jartege: a Tool for Random Generation of Unit Tests for Java Classes CoRR Catherine Oriat
2001	A*	`conf`	Test Purposes: Adapting the Notion of Specification to Testing. ASE Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet
2000	J	`jnl`	Detecting equivalence of modular specifications with categorical diagrams. Theor. Comput. Sci. Catherine Oriat
1996	—	`—`	Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. (Modular specifications: finite colimits constructions, diagrams, isomorphisms). Catherine Oriat
1995	—	`conf`	A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT Didier Bert, Catherine Oriat
1995	—	`conf`	Detecting Isomorphisms of Modular Specifications with Diagrams. AMAST Catherine Oriat