selected publications

• chapter

  • Observability and Controllability Issues in Conformance Testing of Web Service Compositions.  Lecture notes in computer science. 217-222. 2009

• conference paper

  • Cost effective cross-layer protocol testing : a case study.  HAL (Le Centre pour la Communication Scientifique Directe). 2011
  • Testing Web Service Orchestrators in Context: A Symbolic Approach.  . 257-267. 2010