Travelled to:1 × Austria
1 × Belgium
1 × USA
Collaborated with:D.Bert L.d.Bousquet Y.Ledru O.Maury J.Lanet M.Büchler K.Hossen P.F.Mihancea M.Minea R.Groz P.Bontron M.Potet
Talks about:test (3) specif (2) model (2) infer (2) softwar (1) project (1) generic (1) system (1) spacio (1) purpos (1)
Person: Catherine Oriat
DBLP: Oriat:Catherine
Contributed to:
2014
20042001
1995Wrote 4 papers:
- CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing
- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
- ASE-2004-BousquetLMOL #case study #validation
- Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
- ASE-2001-LedruBBMOP #adaptation #specification #testing
- Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.
- TAPSOFT-1995-BertO #model inference #specification
- A Model Inference System for Generic Specification with Application to Code Sharing (DB, CO), pp. 741–755.