Patrick Félix

Testing Web Services Composition Using the TGSE Tool

Tien-Dung Cao, Ismail Berrada, Richard Castanet, 2009, 2009 Congress on Services - I.

From The Feasability Analysis To Real-Time Test Generation

Ismail Berrada, Richard Castanet, Patrick Félix, 2004, Stud. Inform. Univ..

Testing Communicating Systems: a Model, a Methodology, and a Tool

Ismail Berrada, Richard Castanet, Patrick Félix, 2005, TestCom.

Test Case Minimization for Real-Time Systems Using Timed Bound Traces

Ismail Berrada, Aziz Salah, Richard Castanet, 2006, TestCom.

Testing of Web Services: Tools and Experiments

Tien-Dung Cao, Richard Castanet, Gerardo Morales, 2011, 2011 IEEE Asia-Pacific Services Computing Conference.

An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services

Tien-Dung Cao, Kevin Chiew, Richard Castanet, 2012, J. Softw..

Automated Runtime Verification for Web Services

Tien-Dung Cao, Richard Castanet, Patrick Félix, 2010, 2010 IEEE International Conference on Web Services.

Online Testing Framework for Web Services

Tien-Dung Cao, Ismail Berrada, Richard Castanet, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.