Formal specification of multi-agent e-barter systems, Science of Computer Programming, vol.57, issue.2, pp.187-216, 2005. ,
DOI : 10.1016/j.scico.2005.01.002
Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability, pp.211-233, 2005. ,
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems, New Challenges in Computational Collective Intelligence, pp.193-204, 2009. ,
DOI : 10.1007/978-3-642-03958-4_17
Test generation with inputs, outputs and repetitive quiescence, Software ? Concepts and Tools, pp.103-120, 1996. ,
Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, pp.1-38, 2008. ,
DOI : 10.1007/978-3-540-78917-8_1