Catherine Oriat

Angluin style finite state machine inference with non-optimal counterexamples

Muhammad Naeem Irfan, Catherine Oriat, Roland Groz · 2010 · 26 citations

Computational Complexity Theory, Engineering, Machine Learning +20

Test purposes: adapting the notion of specification to testing

Yves Ledru, Lydie du Bousquet, Pierre Bontron et al. · 2005 · 23 citations

Engineering, Test Purposes, Verification +19

A case study in JML-based software validation

Lydie du Bousquet, Yves Ledru, Olivier Maury et al. · 2004 · 22 citations

Software Maintenance, Data Validation, Engineering +11

hW-inference: A heuristic approach to retrieve models through black box testing

Roland Groz, Nicolas Brémond, Adenilso Simão et al. · Journal of Systems and Software · 2019 · 14 citations · Full text

Heuristic Approach, Black Box, Engineering +12

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach

Laya Madani, Catherine Oriat, Ioannis Parissis et al. · 2006 · 13 citations

Engineering, Multimodal Interactive, Verification +19