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 × Canada
1 × Germany
1 × Korea
1 × USA
1 × United Kingdom
2 × France
Collaborated with:
P.Félix I.Berrada D.Rouillard O.Koné F.Saad-Khorchef A.Rollet T.Cao A.Salah A.R.Cavalli A.Mederreg F.Zaïdi P.Combes W.Monin M.MacKaya P.Laurençot
Talks about:
test (5) framework (2) communic (2) system (2) servic (2) multi (2) tool (2) time (2) case (2) methodolog (1)

Person: Richard Castanet

DBLP DBLP: Castanet:Richard

Contributed to:

ICST 20102010
SAC 20072007
TestCom 20062006
TestCom 20052005
TestCom 20042004
TestCom 20022002
IWPTS 19931993

Wrote 7 papers:

ICST-2010-CaoFCB #framework #online #testing #web #web service
Online Testing Framework for Web Services (TDC, PF, RC, IB), pp. 363–372.
SAC-2007-Saad-KhorchefRC #communication #framework #robust #testing
A framework and a tool for robustness testing of communicating software (FSK, AR, RC), pp. 1461–1466.
TestCom-2006-BerradaCFS #bound #realtime #testing #using
Test Case Minimization for Real-Time Systems Using Timed Bound Traces (IB, RC, PF, AS), pp. 289–305.
TestCom-2005-BerradaCF #communication #testing
Testing Communicating Systems: a Model, a Methodology, and a Tool (IB, RC, PF), pp. 111–128.
TestCom-2004-CavalliMZCMCML #multi #platform #validation
A Multi-service and Multi-protocol Validation Platform-Experimentation Results (ARC, AM, FZ, PC, WM, RC, MM, PL), pp. 17–32.
TestCom-2002-CastanetR #analysis #proving #reachability #testing #theorem proving
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis (RC, DR), pp. 249–266.
IWPTS-1993-CastanetK #coordination
Deriving Coordinated Testers for Interoperability (RC, OK), pp. 331–346.

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.