A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TestCom/FATES, 2009)

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TAP@TOOLS, 2011)

Symbolic Testing Approach of Composite Web Services. (Test symbolique de services web composite). - Lina Bentakouk (2011)