Mikael Marche Yves-Marie Quemener Roland Groz Testing Mobile Agents. 95-110 2002 conf/pts/2002 TestCom db/conf/pts/testcom2002.html#MarcheQG02