Travelled to:1 × Switzerland
1 × The Netherlands
Collaborated with:P.Poizat F.Zaïdi
Talks about:symbol (2) servic (2) test (2) framework (1) orchestr (1) behavior (1) transit (1) conform (1) system (1) solver (1)
Person: Lina Bentakouk
DBLP: Bentakouk:Lina
Contributed to:
2011
2009Wrote 2 papers:
- TAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service
- Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
- TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing
- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.