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: Castanet:Richard
Contributed to:
2010
2007
20062005200420021993Wrote 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.