From The Feasability Analysis To Real-Time Test Generation. - Ismail Berrada; Richard Castanet; Patrick Félix (Stud. Inform. Univ., 2004)

Testing Communicating Systems: a Model, a Methodology, and a Tool. - Ismail Berrada; Richard Castanet; Patrick Félix (TestCom, 2005)

Test Case Minimization for Real-Time Systems Using Timed Bound Traces. - Ismail Berrada; Richard Castanet; Patrick Félix; Aziz Salah (TestCom, 2006)

Testing Web Services Composition Using the TGSE Tool. - Tien-Dung Cao; Patrick Félix; Richard Castanet; Ismail Berrada (SERVICES I, 2009)

Online Testing Framework for Web Services. - Tien-Dung Cao; Patrick Félix; Richard Castanet; Ismail Berrada (ICST, 2010)

Automated Runtime Verification for Web Services. - Tien-Dung Cao; Trung-Tien Phan-Quang; Patrick Félix; Richard Castanet (ICWS, 2010)

Testing of Web Services: Tools and Experiments. - Tien-Dung Cao; Richard Castanet; Patrick Félix; Gerardo Morales (APSCC, 2011)

An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. - Tien-Dung Cao; Richard Castanet; Patrick Félix; Kevin Chiew (J. Softw., 2012)