Lina Bentakouk

According to our database, Lina Bentakouk authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

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

Lina Bentakouk

PhD thesis, 2011

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver.

Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi

Proceedings of the Tests and Proofs - 5th International Conference, 2011

2009

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.

Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi

Proceedings of the Testing of Software and Communication Systems, 2009