Publications

• Lina Bentakouk thesis manuscript is HERE

2011

---

• Lina Bentakouk, Pascal Poizat and Fatiha Zaïdi. Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. in TAP'2011 - 5th International Conference on Tests & Proofs. Lecture Notes in Computer Science (LNCS), xxxx:xx-xx, Springer, 2011

2010

---

• Lina Bentakouk, Fayçal Bessayah, Mounir Lallali, Wissam Mallouli and Andrey Sadovykh. A Framework for Modeling and Testing of Web Services Orchestration. The fourth workshop on Modeling, Design, and Analysis for the Service Cloud (MDA4ServiceCloud 2010), Paris, France, June 15, 2010.

2009

---

• Lina Bentakouk, Pascal Poizat and Fatiha Zaïdi. A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. in TESTCOM'2009 - 21th IFIP International Conference on Testing of Communicating Systems. Here the talk, the paper, and the long version