BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Oriat:Catherine

Contributed to:

CSMR-WCRE 20142014
ASE 20042004
ASE 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.